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.
(100)
Mathematics.
(61)
Logic.
(30)
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
282 Results Found Subscribe to search results
000000000000DEFAULT
Print
61. 
Cover image for Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Author 
Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702111
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
Author 
Hailperin, Theodore.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444879523
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Theory of relations
Theory of relations
Author 
Fraïssé, Roland.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444878656
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Foundations of infinitesimal stochastic analysis
Foundations of infinitesimal stochastic analysis
Author 
Stroyan, K. D. Bayod, José Manuel.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444879271
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Equivalents of the axiom of choice, II
Equivalents of the axiom of choice, II
Author 
Rubin, Herman. Rubin, Jean E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444877086
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Intentional mathematics
Intentional mathematics
Author 
Shapiro, Stewart, 1951-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444876324
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Harvey Friedman's research on the foundations of mathematics
Harvey Friedman's research on the foundations of mathematics
Author 
Friedman, Harvey, 1948- Harrington, L. A.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444878342
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Cylindric algebras. Part II
Cylindric algebras. Part II
Author 
Henkin, Leon. Monk, J. Donald (James Donald), 1930- Tarski, Alfred.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444876799
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Combinatorial set theory partition relations for cardinals
Combinatorial set theory partition relations for cardinals
Author 
Erdős, Paul, 1913-1996.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444861573
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982
Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982
Author 
Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444868763
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981
Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981
Author 
Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444867063
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
Author 
Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864659
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action