Einführung in die mathematische logik. Teil I / Asser, G.

Public ISBD Titre : Einführung in die mathematische logik. Teil I : aussagenkalkül Type de document : texte imprimé Auteurs : Asser, G. Editeur : Leipzig : B.G. Teubner Année de publication : 1967 Collection : Mathematisch-Naturwissenschaftliche Bibliothek num. 18 Importance : iv - 184 p. Langues : Allemand Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic Mots-clés : logic  philosophy  foundations of mathematics Index. décimale : 03C Monographie Einführung in die mathematische logik. Teil I : aussagenkalkül [texte imprimé] / Asser, G. . - Leipzig : B.G. Teubner, 1967 . - iv - 184 p.. - (Mathematisch-Naturwissenschaftliche Bibliothek; 18) . Langues : Allemand Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic Mots-clés : logic  philosophy  foundations of mathematics Index. décimale : 03C Monographie

Exemplaires

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

a First course in formal logic and its applications in computer science / R. D. Dowsing

Public ISBD Titre : a First course in formal logic and its applications in computer science Type de document : texte imprimé Auteurs : R. D. Dowsing ; Walter, C.D ; V. J. Rayward-Smith Editeur : Oxford : Blackwell Scientific Publications Année de publication : 1986 Collection : Computer Science Texts Importance : vi - 265 p. ISBN/ISSN/EAN : 978-0-632-01308-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : prolog  quicksort  pascal  logic programming  resolution  program correctness  switching networks  deductions  boolean algebra Index. décimale : 68C Monographie a First course in formal logic and its applications in computer science [texte imprimé] / R. D. Dowsing ; Walter, C.D ; V. J. Rayward-Smith . - Oxford : Blackwell Scientific Publications, 1986 . - vi - 265 p.. - (Computer Science Texts) . ISBN : 978-0-632-01308-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : prolog  quicksort  pascal  logic programming  resolution  program correctness  switching networks  deductions  boolean algebra Index. décimale : 68C Monographie

Exemplaires

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

Introduction to logic / Suppes, P.

Public ISBD Titre : Introduction to logic Type de document : texte imprimé Auteurs : Suppes, P. Editeur : Princeton, N.J. : D. Van Nostrand Company, Inc. Année de publication : 1962 Collection : The University Series in Undergraduate Mathematics Importance : xviii - 312 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic 03-XX Mathematical logic and foundations:03EXX Set theory:03E20 Other classical set theory (including functions, relations, and set algebra) Mots-clés : mathematical logic  philosophy  foundations Index. décimale : 03C Monographie Introduction to logic [texte imprimé] / Suppes, P. . - Princeton, N.J. : D. Van Nostrand Company, Inc., 1962 . - xviii - 312 p.. - (The University Series in Undergraduate Mathematics) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic 03-XX Mathematical logic and foundations:03EXX Set theory:03E20 Other classical set theory (including functions, relations, and set algebra) Mots-clés : mathematical logic  philosophy  foundations Index. décimale : 03C Monographie

Exemplaires

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

Introduction to mathematical logic / Mendelson, E.

Public ISBD Titre : Introduction to mathematical logic Type de document : texte imprimé Auteurs : Mendelson, E. Editeur : Princeton, N.J. : D. Van Nostrand Company, Inc. Année de publication : 1964 Collection : The University Series in Undergraduate Mathematics Importance : x - 300 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic Mots-clés : foundations of mathematics  philosophy  mathematical logic Index. décimale : 03C Monographie Introduction to mathematical logic [texte imprimé] / Mendelson, E. . - Princeton, N.J. : D. Van Nostrand Company, Inc., 1964 . - x - 300 p.. - (The University Series in Undergraduate Mathematics) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic Mots-clés : foundations of mathematics  philosophy  mathematical logic Index. décimale : 03C Monographie

Exemplaires

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

Introduction to mathematical logic. Vol. I / Church, A.

Public ISBD Titre : Introduction to mathematical logic. Vol. I Type de document : texte imprimé Auteurs : Church, A. Editeur : Princeton, NJ : Princeton University Press Année de publication : 1956 Collection : Princeton Mathematical Series num. 17 Importance : ix - 378 p. 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:03B05 Classical propositional logic Mots-clés : mathematical logic  philosophy  foundationsv Index. décimale : 03C Monographie Introduction to mathematical logic. Vol. I [texte imprimé] / Church, A. . - Princeton, NJ : Princeton University Press, 1956 . - ix - 378 p.. - (Princeton Mathematical Series; 17) . 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:03B05 Classical propositional logic Mots-clés : mathematical logic  philosophy  foundationsv Index. décimale : 03C Monographie

Exemplaires

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

Set theory and logic / Robert R. Stoll

Permalink

---

page 1/1