Recursive analysis / R. L. Goodstein

Public ISBD Titre : Recursive analysis Type de document : texte imprimé Auteurs : R. L. Goodstein Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1961 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 138 p. Langues : Anglais Mots-clés : mathematical logic Index. décimale : 03C Monographie Recursive analysis [texte imprimé] / R. L. Goodstein . - Amtsterdam : North-Holland Publishing Company, 1961 . - viii - 138 p.. - (Studies in Logic and the Foundations of Mathematics) . Langues : Anglais Mots-clés : mathematical logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4494	03C40	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Sentences undecidable in formalized arithmetic / Mostowskii, A.

Public ISBD Titre : Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel Type de document : texte imprimé Auteurs : Mostowskii, A. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1964 Collection : Studies in Logic and the Foundations of Mathematics Importance : 117 p. Langues : Anglais Mots-clés : foundations of mathematics  philosophy Index. décimale : 03C Monographie Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel [texte imprimé] / Mostowskii, A. . - Amtsterdam : North-Holland Publishing Company, 1964 . - 117 p.. - (Studies in Logic and the Foundations of Mathematics) . Langues : Anglais Mots-clés : foundations of mathematics  philosophy Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4502	03C90	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

the Foundations of intuitionistic mathematics / Kleene, S. C.

Public ISBD Titre : the Foundations of intuitionistic mathematics : especially in relation to recursive functions Type de document : texte imprimé Auteurs : Kleene, S. C. ; R. E. Vesley Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1965 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 206 p. Langues : Anglais Mots-clés : mathematical logic  intuitionistic mathematics Index. décimale : 03C Monographie the Foundations of intuitionistic mathematics : especially in relation to recursive functions [texte imprimé] / Kleene, S. C. ; R. E. Vesley . - Amtsterdam : North-Holland Publishing Company, 1965 . - viii - 206 p.. - (Studies in Logic and the Foundations of Mathematics) . Langues : Anglais Mots-clés : mathematical logic  intuitionistic mathematics Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9201	03C42	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

the Lambda calculus / H. P. Barendregt

Public ISBD Titre : the Lambda calculus : its syntax and semantics Type de document : texte imprimé Auteurs : H. P. Barendregt Mention d'édition : rev. ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 2001 Collection : Studies in Logic and the Foundations of Mathematics num. 103 Importance : xv - 621p. ISBN/ISSN/EAN : 978-0-444-87508-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : models  type-free lambda calculus  reduction systems  semantics  syntax Index. décimale : 68C Monographie the Lambda calculus : its syntax and semantics [texte imprimé] / H. P. Barendregt  . -  rev. ed. . - Amtsterdam : North-Holland Publishing Company, 2001 . - xv - 621p.. - (Studies in Logic and the Foundations of Mathematics; 103) . ISBN : 978-0-444-87508-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : models  type-free lambda calculus  reduction systems  semantics  syntax Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13233	68C76	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

the Metamathematics of algebraic systems / Mal'cev, Anatolii I.

Public ISBD Titre : the Metamathematics of algebraic systems : collected papers : 1936-1967 Type de document : texte imprimé Auteurs : Mal'cev, Anatolii I. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1971 Collection : Studies in Logic and the Foundations of Mathematics num. 66 Importance : xviii - 494 p. Langues : Anglais Langues originales : Russe Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B50 Volumes of selected translations 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory Mots-clés : model theory  mathematical logic Index. décimale : 03B Publication collective the Metamathematics of algebraic systems : collected papers : 1936-1967 [texte imprimé] / Mal'cev, Anatolii I. . - Amtsterdam : North-Holland Publishing Company, 1971 . - xviii - 494 p.. - (Studies in Logic and the Foundations of Mathematics; 66) . Langues : Anglais Langues originales : Russe Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B50 Volumes of selected translations 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory Mots-clés : model theory  mathematical logic Index. décimale : 03B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
8114	03B05	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

the Problem of inductive logic / Lakatos, I. Ed.

Permalink

Theory of relations / Fraïssé, Roland

Permalink

theTheory of models / Henkin, L. ; J. W. Addison

Permalink

Toward a systematic pragmatics / R. M. Martin

Permalink

Undecidable theories / Tarski, A.

Permalink

Word problems 2 / W. W. Boone ; S. I. Adian ; G. Higman

Permalink

Word problems / W. W. Ed. Boone

Permalink

---

page /2