Combinatory logic. Vol. I / Curry, Haskell B.

Public ISBD Titre : Combinatory logic. Vol. I Type de document : texte imprimé Auteurs : Curry, Haskell B. ; Feys, R. Graig, W. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1958 Collection : Studies in Logic and the Foundations of Mathematics Importance : xvi - 417 p. Langues : Anglais Mots-clés : foundations of mathematics  philosophy Index. décimale : 03C Monographie Combinatory logic. Vol. I [texte imprimé] / Curry, Haskell B. ; Feys, R. Graig, W. . - Amtsterdam : North-Holland Publishing Company, 1958 . - xvi - 417 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é
4473	03C73	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Combinatory logic. Vol. II / Curry, Haskell B.

Public ISBD Titre : Combinatory logic. Vol. II Type de document : texte imprimé Auteurs : Curry, Haskell B. ; Seldin, Jonathan P. ; Hindley, J. Roger Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1972 Collection : Studies in Logic and the Foundations of Mathematics num. 65 Importance : xv - 520 p. ISBN/ISSN/EAN : 978-0-7204-2208-5 Langues : Anglais Catégories : 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 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this section Mots-clés : combinatory logic Index. décimale : 03C Monographie Combinatory logic. Vol. II [texte imprimé] / Curry, Haskell B. ; Seldin, Jonathan P. ; Hindley, J. Roger . - Amtsterdam : North-Holland Publishing Company, 1972 . - xv - 520 p.. - (Studies in Logic and the Foundations of Mathematics; 65) . ISBN : 978-0-7204-2208-5 Langues : Anglais Catégories : 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 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this section Mots-clés : combinatory logic Index. décimale : 03C Monographie

Exemplaires

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

Foundations of mathematical logic / Curry, Haskell B.

Public ISBD Titre : Foundations of mathematical logic Type de document : texte imprimé Auteurs : Curry, Haskell B. Editeur : New York, NY : McGraw-Hill Book Company Année de publication : 1963 Collection : McGraw-Hill Series in Higher Mathematics Importance : xii - 408 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations 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) Mots-clés : general logic Index. décimale : 03C Monographie Foundations of mathematical logic [texte imprimé] / Curry, Haskell B. . - New York, NY : McGraw-Hill Book Company, 1963 . - xii - 408 p.. - (McGraw-Hill Series in Higher Mathematics) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations 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) Mots-clés : general logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4472	03C11	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible
4471	03C11	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

---

page 1/1