2081. Word and object
پدیدآورنده : Willard Van Orman Quine,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Semantics )Philosophy(,Logic, Symbolic and mathematical,Language and languages, Philosophy
رده :
B
.
Q5
840
2082. Word and object /
پدیدآورنده : Willard Van Orman Quine ; foreword by Patricia Smith Churchland ; preface to the new edition by Dagfinn Føllesdal
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Language and languages-- Philosophy,Logic, Symbolic and mathematical,Semantics (Philosophy)
رده :
B840
.
Q5
2013
2083. classical logics /-Arnon Avron on semantics and proof theory of non
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ;
2084. foundations of mathematics
پدیدآورنده : Gupta , Parmanand
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G8F6
2008
2085. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
2086. 100% mathematical proof
پدیدآورنده : Garnier, Rowan.
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
2087. 100% mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
511
.
3
G236O
1996
2088. 100,mathematical proof
پدیدآورنده : Rowan Garnier, John Taylor
موضوع : Proof theory,Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2089. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
2090. 100% mathematical proof
پدیدآورنده : Garnier, Rowan.
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
2091. 100 mathematical proof
پدیدآورنده : Garnier, Rowan.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
2092. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
2093. Nonclassical logics and information processing : international workshop, Berlin , November 9-10, 1990 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
5
.
N664
1992
2094. numeric computation-Symbolic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computable functions ; Data processing ; Congresses. ; Numerical analysis ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
2095. philosophicus-Tractatus logico
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ; Language and languages ; Philosophy. ;
2096. programs-as-Adapting proofs
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry
2097. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
پدیدآورنده : edited by W. Bibel and R. Kowalski
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
87
2098. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
پدیدآورنده : edited by W. Bibel and R. Kowalski
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
87
2099. 9th International Conference on Automated Deduction :
پدیدآورنده : E. Lusk, R. Overbeek (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving-- Congresses.,Logic, Symbolic and mathematical-- Congresses.
رده :
QA76
.
9
.
A96
I57
1988
2100. 8th International Conference on Automated Deduction
پدیدآورنده : edited by Jپ rg H. Siekmann
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
A96
,
I57
1986
