Limit Search Results
Author
SpringerLink (Online service)
(79)
Mostowski, Andrzej.
(7)
Tarski, Alfred.
(5)
Kuratowski, Kazimierz, 1896-1980.
(4)
Robinson, Abraham, 1918-1974.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(90)
Mathematics.
(59)
Logic.
(26)
Logic, Symbolic and mathematical -- Congresses.
(21)
Computer science.
(13)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
260 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein
Author 
Hopkins, Burt C. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
Cover image for Residuated lattices an algebraic glimpse at substructural logics
Residuated lattices an algebraic glimpse at substructural logics
Author 
Galatos, Nikolaos.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Residuated lattices an algebraic glimpse at substructural logics
Residuated lattices an algebraic glimpse at substructural logics
Author 
Galatos, Nikolaos.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Lectures on the Curry-Howard isomorphism
Lectures on the Curry-Howard isomorphism
Author 
Sørensen, Morten Heine. Urzyczyn, Paweł.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444520777
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Relation algebras
Relation algebras
Author 
Maddux, R. D. (Roger D.), 1948-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444520135
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Many-dimensional modal logics theory and applications
Many-dimensional modal logics theory and applications
Author 
Gabbay, Dov M., 1945-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444508263
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action