2561. Transcendence and Wittgenstein's Tractatus
Author: Michael P. Hodges,Title
Library: Publishing Library of Samt (Tehran)
Subject: Wittgenstein, Ludwig,- 1889-1951.- Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languages- Philosophy,Transcendence )Philosophy(
Classification :
B
.
W563
,
T73345
3376
1990
2562. Transition to higher mathematics: structure and proof
Author: / Bob A. Dumas, John E. McCarthy
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, Symbolic and mathematical,-- Textbooks
Classification :
511
.
3
D886T
2007
2563. Translations from the philosophical writings of Gottlob Frege
Author: edited by Peter Geach and Max Black; index prepared by E. D. Klemke
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
Classification :
BC
135
.
F73T7
1980
2564. Trends in Logic
Author: edited by Vincent F. Hendricks, Jacek Malinowski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Coding theory.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
2565. Truth, deduction, and computation
Author: / R.E. Davis
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
Classification :
QA76
.
7
.
D386
1989
2566. Truth, possibility and probability : new logical foundations of probability and statistical inference
Author: Rolando Chuaqui
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
C58
1991
2567. Truth, syntax and modality
Author: edited by Hugues Leblanc.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Congresses.,Semantics, Congresses.
2568. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
Author: Conference on Alternative Semantics, 0791, Temple University
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical-- Congresses,، Semantics-- Congresses
Classification :
BC
135
.
C56
1970
2569. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
Author: edited by Hugues Leblanc
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
Classification :
BC
135
.
C56
1970
2570. Truth, syntax and modality: proceedings of the Temple University Conference on Alternative semantics
Author: edited by Hugues Leblance
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
Classification :
BC
135
.
C56
1970
2571. Truthlikeness
Author: by Ilkka Niiniluoto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
2572. Twelve papers in logic and algebra
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Algebra-- Addresses, essays, lectures
Classification :
QA
3
.
A572
ser
.
2
vol
.
113
2573. Two applications of logic to mathematics
Author: by Gaisi Takeuti
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Algebra, Boolean
Classification :
QA
9
.
T26
1978
2574. Two applications of logic to mathematics
Author: Takeuti, Gaisi
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Algebra, Boolean
Classification :
QA
9
.
T26
2575. Typed Lambda Calculi and Applications :
Author: edited by Marc Bezem, Jan Friso Groote.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
2576. Ultralogic as universal? :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ;
2577. Uncertain inference
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Uncertainty (Information theory) ; Probabilities. ; Logic, Symbolic and mathematical. ;
2578. Uncertain inference
Author: / Henry E. Kyburg, Jr. and Choh Man Teng
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Uncertainty (Information theory),Probabilities,Logic, Symbolic and mathematical
Classification :
Q375
.
K93
2001
2579. Uncertain inference
Author: / Henry E. Kyburg, Jr. and Choh Man Teng
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Uncertainty (Information theory),Probabilities.,Logic, Symbolic and mathematical.
Classification :
Q
,
375
,.
K93
,
2001
2580. Uncertain inference
Author: / Henry E. Kyburg, Jr. and Choh Man Teng
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Uncertainty (Information theory),Probabilities,Logic, Symbolic and mathematical
Classification :
Q375
.
K93
2001
