Limit Search Results
Author
SpringerLink (Online service)
(72)
Mostowski, Andrzej.
(7)
Tarski, Alfred.
(5)
Kuratowski, Kazimierz, 1896-1980.
(4)
Robinson, Abraham, 1918-1974.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(98)
Mathematics.
(60)
Logic.
(29)
Logic, Symbolic and mathematical -- Congresses.
(21)
Computer science.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
250 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940
The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940
Author 
Mancosu, Paolo.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199546534.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Logic and Philosophy of Mathematics in the Early Husserl
Logic and Philosophy of Mathematics in the Early Husserl
Author 
Centrone, Stefania. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3246-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
Author 
Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-36874-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
Author 
Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5012-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Logic of mathematics a modern course of classical logic
Logic of mathematics a modern course of classical logic
Author 
Adamowicz, Zofia. Zbierski, Paweł. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/95020818.html
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984
Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984
Author 
Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444879998
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for An examination of logical positivism
An examination of logical positivism
Author 
Weinberg, Julius Rudolf, 1908-
Preferred Shelf Number 
B 824.6 W434 1936 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
20. 
Cover image for Cylindric algebras
Cylindric algebras
Author 
Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.
Preferred Shelf Number 
QA 9 H415 1971- V.1
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
21. 
Cover image for A treatise on induction and probability
A treatise on induction and probability
Author 
Wright, Georg Henrik von, 1916-
Preferred Shelf Number 
BC 91 W72 1951 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
22. 
Cover image for Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction
Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction
Author 
Nicod, Jean, 1893-1924.
Preferred Shelf Number 
QA 681 N5 1930 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
23. 
Cover image for Logical studies
Logical studies
Author 
Wright, Georg Henrik von, 1916-
Preferred Shelf Number 
BC 6 W72 1957 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
24. 
Cover image for The foundations of mathematics : and other logical essays
The foundations of mathematics : and other logical essays
Author 
Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.
Preferred Shelf Number 
QA 9 R23 1931
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action