8 résultat(s) recherche sur le mot-clé 'general logic'

Logic, computers and sets / Wang, Haiping

Public ISBD Titre : Logic, computers and sets Type de document : texte imprimé Auteurs : Wang, Haiping Editeur : New York, NY : Chelsea publishing company Année de publication : 1970 Importance : x - 651 p. ISBN/ISSN/EAN : 978-0-8284-0245-3 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 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : philosophical and critical  computer science  general logic  mathematical logic Index. décimale : 03C Monographie Logic, computers and sets [texte imprimé] / Wang, Haiping . - New York, NY : Chelsea publishing company, 1970 . - x - 651 p. ISBN : 978-0-8284-0245-3 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 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : philosophical and critical  computer science  general logic  mathematical logic Index. décimale : 03C Monographie

Exemplaires

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

First-order logic / Raymond M. Smullyan

Public ISBD Titre : First-order logic Type de document : texte imprimé Auteurs : Raymond M. Smullyan Editeur : Springer-Verlag Année de publication : 1968 Collection : Ergebnisse der Mathematik und ihrer Grenzgebiete num. 43 Importance : xii - 158 p. Langues : Anglais Mots-clés : general logic Index. décimale : 03C Monographie First-order logic [texte imprimé] / Raymond M. Smullyan . - [S.l.] : Springer-Verlag, 1968 . - xii - 158 p.. - (Ergebnisse der Mathematik und ihrer Grenzgebiete; 43) . Langues : Anglais Mots-clés : general logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4431	03C32	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

Notes on logic / Lyndon, Roger C.

Public ISBD Titre : Notes on logic Type de document : texte imprimé Auteurs : Lyndon, Roger C. Editeur : Princeton, N.J. : D. Van Nostrand Company, Inc. Année de publication : 1966 Collection : van Nostrand Mathematical Studies num. 06 Importance : vi - 97 p. Langues : Anglais Mots-clés : general logic Index. décimale : 03C Monographie Notes on logic [texte imprimé] / Lyndon, Roger C. . - Princeton, N.J. : D. Van Nostrand Company, Inc., 1966 . - vi - 97 p.. - (van Nostrand Mathematical Studies; 06) . Langues : Anglais Mots-clés : general logic Index. décimale : 03C Monographie

Exemplaires

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

Cours de logique elémentaire / Lacombe, D.

Public ISBD Titre : Cours de logique elémentaire Type de document : texte imprimé Auteurs : Lacombe, D. Editeur : Paris : Université de Paris VII Année de publication : 1971 Importance : pag. mult. Langues : Français Mots-clés : general logic Index. décimale : 03C Monographie Cours de logique elémentaire [texte imprimé] / Lacombe, D. . - Paris : Université de Paris VII, 1971 . - pag. mult. Langues : Français Mots-clés : general logic Index. décimale : 03C Monographie

Exemplaires

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

Introduction à la logique / Tarski, A.

Permalink

Logique moderne. Fasc. 1 / Grize, J. B.

Permalink

Logique à trois valeurs logique à seuil / Carvallo, M.

Permalink