Switch to list view
Switch to thumbnail view
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Author 
Mostowski, Andrzej
Preferred Shelf Number 
BC 135 M6 1952
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Hesab-ı nazari
Hesab-ı nazari
Author 
Mehmet Nadir. Gökdoğan, Melek Dosay. Erten, Safiye Yılmaz.
Preferred Shelf Number 
QA123 M356 2020
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Logic of The Future. Volume 1, History and Applications
Logic of The Future. Volume 1, History and Applications
Author 
Peirce, Charles S., author. Hilpinen, Risto, contributor. Pietarinen, Ahti-Veikko, contributor. Pietarinen, Ahti-Veikko, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110651409
https://www.degruyter.com/isbn/9783110651409
Cover https://www.degruyter.com/document/cover/isbn/9783110651409/original
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets