1981. The adventure of reason :
پدیدآورنده : Paolo Mancosu
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy-- History-- 20th century
رده :
QA9
.
M295
2010
1982. The age of alternative logics :
پدیدآورنده : edited by Johan van Benthem ... [and others]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
1983. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده : edited by Johan van Benthem... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
1984. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
1985. The algebra of logic
پدیدآورنده : / by Louis Couturat
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical
رده :
BC
135
C87
,
E5
1914
1986. The algebraic theory of switching circuits
پدیدآورنده : Moisil, Grigore C.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Switching theory,، Logic, Symbolic and mathematical,، Algebraic fields,، Field, Albebraic
رده :
QA
401
.
M5513
1969
1987. The algebraic theory of switching circuits,
پدیدآورنده : by Gr. C. Moisil
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebraic fields,Logic, Symbolic and mathematical,Switching theory
1988. The anatomy of mathematics
پدیدآورنده : Kershner, Richard Brandon
موضوع : ، Logic, Symbolic and mathematical,، Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1989. The anatomy of mathematics
پدیدآورنده : / by r.B. Kershner [and] L.R. Wilcox,Kershnev
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Mathematics,Logic, Symbolic and mathematical
رده :
QA
9
.
K38
1990. The axiomatic method; an introduction to mathematical logic
پدیدآورنده : Lightstone, A. H.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Axioms,، Mathematics-- Philosophy
رده :
QA
248
.
L53
1991. The basic laws of arithmetic;
پدیدآورنده : Translated and edited, with an introd., by Montgomery Furth.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.
رده :
BC135
.
F6813
1964
1992. The basic laws of arithmetic; exposition of the system
پدیدآورنده : Frege, Gottlob
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
F6813
1964
1993. The birth of model theory :
پدیدآورنده : Calixto Badesa ; translated by Michael Maudsley ; revised by the author
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Löwenheim, Leopold,1878-1957,Logic, Symbolic and mathematical,Model theory
رده :
QA9
.
7
.
B23
2004
1994. The calculi of lambda - conversion
پدیدآورنده : Church
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Logic, Symbolic and mathematical,Functions
رده :
QA
331
.
C4
1995. The collected papers of Gerhard Gentzen.
پدیدآورنده : Edited by M. E. Szabo
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Metamathematics
رده :
QA9
.
G329
1996. The collected works of J. Richard Buchi
پدیدآورنده : Buchi, J. Richard, 4291-4891
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Machine theory,، Logic, Symbolic and mathematical,، Buchi, J. Richard, 4291-4891
رده :
QA
267
.
B79
1990
1997. The computer modelling of mathematical reasoning /
پدیدآورنده : Alan Bundy, Department of Artificial Intelligence, Edinburgh.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving.,Logic, Symbolic and mathematical.,Mathematics-- Data processing.,Intelligence artificielle.,Anwendung,ARTIFICIAL INTELLIGENCE.,Automatic theorem proving.,Automatisches Beweisverfahren,Computersimulaties.,Inteligencia Artificial (Computacao),Künstliche Intelligenz,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematics-- Data processing.,Mathematik,Mathematik.,Mathématiques-- Informatique.,Redeneren.,THEOREM PROVING.,Théorèmes-- Démonstration automatique.,Wiskunde.
رده :
QA76
.
95
.
B86
1983
1998. The computer modelling of mathematical reasoning
پدیدآورنده : Bundy, Alan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing ، Mathematics,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
1999. The computer modelling of mathematical reasoning
پدیدآورنده : Bundy, Alan., Alan Bundy
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Mathematics- Data processing,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
2000. The computer modelling of mathematical reasoning
پدیدآورنده : Bundy, Alan.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematics - Data processing,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
1983
