Limit Search Results
Author
Language
Subject
Logic, Symbolic and mathematical.
(28)
Mathematics.
(9)
Computer science.
(7)
Logic.
(6)
MANTIK, SEMBOLİK VE MATEMATİKİ.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
31 Results Found Subscribe to search results
0000000DEFAULT
Print
25. 
Cover image for Propositions, functions, and analysis selected essays on Russell's philosophy
Propositions, functions, and analysis selected essays on Russell's philosophy
Author 
Hylton, Peter.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Truth through proof a formalist foundation for mathematics
Truth through proof a formalist foundation for mathematics
Author 
Weir, Alan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Logical Foundations of Proof Complexity
Logical Foundations of Proof Complexity
Author 
Cook, Stephen. Nguyen, Phuong.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Teaching mathematical reasoning in secondary school classrooms
Teaching mathematical reasoning in secondary school classrooms
Author 
Brodie, Karin. Coetzee, Kurt.
Preferred Shelf Number 
QA8.7 B76 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
29. 
Cover image for Mathematical reasoning patterns, problems, conjectures, and proofs
Mathematical reasoning patterns, problems, conjectures, and proofs
Author 
Nickerson, Raymond S.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Discrete structures, logic, and computability
Discrete structures, logic, and computability
Author 
Hein, James L.
Preferred Shelf Number 
QA76.9.M35 H44 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
31. 
Cover image for Roads to infinity the mathematics of truth and proof
Roads to infinity the mathematics of truth and proof
Author 
Stillwell, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies: