Search ResultsOther Libraries
1570 Results Found Subscribe to search results
Select All
Switch to list view
Switch to thumbnail view
000000000000DEFAULT
Print
1. 
Cover image for Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Author 
Omodeo, Eugenio G. editor. Policriti, Alberto. editor. (orcid)0000-0001-8502-5896 SpringerLink (Online service)
Call Number 
BC1 -199
ISBN 
9783319418421
Electronic Access 
Full Text Available From Springer Nature Religion and Philosophy 2016 Packages
Format: 
Electronic Resources
Available:
2. 
Cover image for Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics
Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics
Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics
Author 
Löwe, Benedikt. editor. Malzkorn, Wolfgang. editor. Räsch, Thoralf. editor. SpringerLink (Online service)
Call Number 
BC1 -199
ISBN 
9789401703956
Electronic Access 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Available:
3. 
Cover image for The Axiom of Constructibility A Guide for the Mathematician
The Axiom of Constructibility A Guide for the Mathematician
The Axiom of Constructibility A Guide for the Mathematician
Author 
Devlin, K. J. author. SpringerLink (Online service)
Call Number 
QA8.9 -10.3
ISBN 
9783540370345
Electronic Access 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Available:
4. 
Cover image for Recursion on the Countable Functionals
Recursion on the Countable Functionals
Recursion on the Countable Functionals
Author 
Normann, D. author. SpringerLink (Online service)
Call Number 
QA8.9 -10.3
ISBN 
9783540381709
Electronic Access 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Available:
5. 
Cover image for Injective Choice Functions
Injective Choice Functions
Injective Choice Functions
Author 
Holz, Michael. author. Podewski, Klaus-Peter. author. Steffens, Karsten. author. SpringerLink (Online service)
Call Number 
QA8.9 -10.3
ISBN 
9783540474265
Electronic Access 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Available:
6. 
Cover image for Techniques of Admissible Recursion Theory
Techniques of Admissible Recursion Theory
Techniques of Admissible Recursion Theory
Author 
Chong, C. T. author. SpringerLink (Online service)
Call Number 
QA8.9 -10.3
ISBN 
9783540391210
Electronic Access 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Available:
7. 
Cover image for Cylindric Set Algebras
Cylindric Set Algebras
Cylindric Set Algebras
Author 
Henkin, L. author. Monk, J. D. author. Tarski, A. author. Andreka, H. author. Nemeti, I. author.
Call Number 
QA8.9 -10.3
ISBN 
9783540387909
Electronic Access 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Available:
8. 
Cover image for Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Author 
Troelstra, Anne S. editor. SpringerLink (Online service)
Call Number 
QA8.9 -10.3
ISBN 
9783540378068
Electronic Access 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Available:
9. 
Cover image for Nonstandard Analysis - Recent Developments
Nonstandard Analysis - Recent Developments
Nonstandard Analysis - Recent Developments
Author 
Hurd, A.E. editor. SpringerLink (Online service)
Call Number 
QA8.9 -10.3
ISBN 
9783540396024
Electronic Access 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Available:
10. 
Cover image for Around Classification Theory of Models
Around Classification Theory of Models
Around Classification Theory of Models
Author 
Shelah, Saharon. author. SpringerLink (Online service)
Call Number 
QA8.9 -10.3
ISBN 
9783540397885
Electronic Access 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Available:
11. 
Cover image for Decidable Theories Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Decidable Theories Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Decidable Theories Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Author 
Siefkes, Dirk. author. Müller, Gert H. editor. SpringerLink (Online service)
Call Number 
QA8.9 -10.3
ISBN 
9783540362524
Electronic Access 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Available:
12. 
Cover image for Théorie des ensembles
Théorie des ensembles
Théorie des ensembles
Author 
Bourbaki, N. author. SpringerLink (Online service)
Call Number 
QA8.9 -10.3
ISBN 
9783540340355
Electronic Access 
Full Text Available From Springer Nature Mathematics and Statistics 2006 Packages
Format: 
Electronic Resources
Available:
Select All
1570 Results Found Subscribe to search results
Limit Search Results
Author
SpringerLink (Online service)
(1562)
Rozenberg, Grzegorz. editor.
(19)
Gabbay, Dov M. editor.
(14)
SpringerLink Journals
(12)
Springer Journals
(11)
Language
Publication Date
This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.
-
Subject
Mathematical Logic and Foundations.
(1102)
Mathematical logic.
(1102)
Computer science.
(633)
Formal Languages and Automata Theory.
(562)
Machine theory.
(562)
Material Type
Shelf Location
Library