Résultats de rechercheBases de données
1570 Résultats trouvés M'abonner aux résultats de recherche
Sélectionner tout
Passer à l'affichage en mode Liste
Passer à l'affichage en mode Miniature
000000000000DEFAULT
Imprimer
1. 
Image de couverture de 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
Auteur 
Omodeo, Eugenio G. editor. Policriti, Alberto. editor. (orcid)0000-0001-8502-5896 SpringerLink (Online service)
Numéro de cote topographique requis 
BC1 -199
Full Text Available From Springer Nature Religion and Philosophy 2016 Packages
Format : 
Ressources électroniques
Disponible:
2. 
Image de couverture de 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
Auteur 
Löwe, Benedikt. editor. Malzkorn, Wolfgang. editor. Räsch, Thoralf. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
BC1 -199
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format : 
Ressources électroniques
Disponible:
3. 
Image de couverture de 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
Auteur 
Devlin, K. J. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA8.9 -10.3
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format : 
Ressources électroniques
Disponible:
4. 
Image de couverture de Recursion on the Countable Functionals
Recursion on the Countable Functionals
Recursion on the Countable Functionals
Auteur 
Normann, D. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA8.9 -10.3
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format : 
Ressources électroniques
Disponible:
5. 
Image de couverture de Injective Choice Functions
Injective Choice Functions
Injective Choice Functions
Auteur 
Holz, Michael. author. Podewski, Klaus-Peter. author. Steffens, Karsten. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA8.9 -10.3
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format : 
Ressources électroniques
Disponible:
6. 
Image de couverture de Techniques of Admissible Recursion Theory
Techniques of Admissible Recursion Theory
Techniques of Admissible Recursion Theory
Auteur 
Chong, C. T. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA8.9 -10.3
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format : 
Ressources électroniques
Disponible:
7. 
Image de couverture de Cylindric Set Algebras
Cylindric Set Algebras
Cylindric Set Algebras
Auteur 
Henkin, L. author. Monk, J. D. author. Tarski, A. author. Andreka, H. author. Nemeti, I. author.
Numéro de cote topographique requis 
QA8.9 -10.3
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format : 
Ressources électroniques
Disponible:
8. 
Image de couverture de Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Auteur 
Troelstra, Anne S. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA8.9 -10.3
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format : 
Ressources électroniques
Disponible:
9. 
Image de couverture de Nonstandard Analysis - Recent Developments
Nonstandard Analysis - Recent Developments
Nonstandard Analysis - Recent Developments
Auteur 
Hurd, A.E. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA8.9 -10.3
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format : 
Ressources électroniques
Disponible:
10. 
Image de couverture de Around Classification Theory of Models
Around Classification Theory of Models
Around Classification Theory of Models
Auteur 
Shelah, Saharon. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA8.9 -10.3
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format : 
Ressources électroniques
Disponible:
11. 
Image de couverture de 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
Auteur 
Siefkes, Dirk. author. Müller, Gert H. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA8.9 -10.3
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format : 
Ressources électroniques
Disponible:
12. 
Image de couverture de Théorie des ensembles
Théorie des ensembles
Théorie des ensembles
Auteur 
Bourbaki, N. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA8.9 -10.3
Full Text Available From Springer Nature Mathematics and Statistics 2006 Packages
Format : 
Ressources électroniques
Disponible:
Sélectionner tout
1570 Résultats trouvés M'abonner aux résultats de recherche
Limiter les résultats de recherche
Auteur
SpringerLink (Online service)
(1562)
Rozenberg, Grzegorz. editor.
(19)
Gabbay, Dov M. editor.
(14)
SpringerLink Journals
(12)
Springer Journals
(11)
Langue
Date de publication
Ce graphique montre la distribution des dates de publication à utiliser avec un curseur de plage de dates. Passez au mode d’affichage Années pour une ventilation plus détaillée des résultats de recherche par année.
-
Sujet
Mathematical Logic and Foundations.
(1102)
Mathematical logic.
(1102)
Computer science.
(633)
Formal Languages and Automata Theory.
(562)
Machine theory.
(562)
Type de document
Emplacement
Bibliothèque