Proof and disproof in formal logic / Bornat, Richard

Public ISBD Titre : Proof and disproof in formal logic : an introduction for programmers Type de document : texte imprimé Auteurs : Bornat, Richard Editeur : Oxford : Oxford university press Année de publication : 2005 Collection : Oxford Texts in Logic num. 02 Importance : xx - 243 p. ISBN/ISSN/EAN : 978-0-19-853027-5 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:03B70 Logic in computer science 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : mathematical logic Index. décimale : 03C Monographie Proof and disproof in formal logic : an introduction for programmers [texte imprimé] / Bornat, Richard . - Oxford : Oxford university press, 2005 . - xx - 243 p.. - (Oxford Texts in Logic; 02) . ISBN : 978-0-19-853027-5 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:03B70 Logic in computer science 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : mathematical logic Index. décimale : 03C Monographie

Exemplaires

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

---

page 1/1