Handbook of practical logic and automated reasoning / John Harrison

Public ISBD Titre : Handbook of practical logic and automated reasoning Type de document : texte imprimé Auteurs : John Harrison, Auteur Editeur : Cambridge University Press Année de publication : 2009 Importance : xix - 681 p. ISBN/ISSN/EAN : 978-0-521-89957-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations 68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.) Mots-clés : mathematical logic  automated reasoning  automated theorem proving Index. décimale : 03C Monographie Handbook of practical logic and automated reasoning [texte imprimé] / John Harrison, Auteur . - [S.l.] : Cambridge University Press, 2009 . - xix - 681 p. ISBN : 978-0-521-89957-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations 68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.) Mots-clés : mathematical logic  automated reasoning  automated theorem proving Index. décimale : 03C Monographie

Exemplaires

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

Lambda calculus with types / Henk Barendregt

Public ISBD Titre : Lambda calculus with types : With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Pawe? Urzyczyn Type de document : texte imprimé Auteurs : Henk Barendregt, Auteur ; Wil Dekkers, Auteur ; Richard Statman, Auteur Editeur : Cambridge University Press Année de publication : 2013 Collection : Perspectives in Logic Importance : xxii - 833 p. ISBN/ISSN/EAN : 978-0-521-76614-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science Mots-clés : mathematical logic  Lambda calculus Index. décimale : 03B Publication collective Lambda calculus with types : With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Pawe? Urzyczyn [texte imprimé] / Henk Barendregt, Auteur ; Wil Dekkers, Auteur ; Richard Statman, Auteur . - [S.l.] : Cambridge University Press, 2013 . - xxii - 833 p.. - (Perspectives in Logic) . ISBN : 978-0-521-76614-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science Mots-clés : mathematical logic  Lambda calculus Index. décimale : 03B Publication collective

Exemplaires

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

Nonstandard analysis for the working mathematician / Loeb, Peter A. ; Manfred Wolff

Public ISBD Titre : Nonstandard analysis for the working mathematician Type de document : texte imprimé Auteurs : Loeb, Peter A., Editeur scientifique ; Manfred Wolff, Editeur scientifique Editeur : Dordrecht : Kluwer Academic Publishers Année de publication : 2000 Collection : Mathematics and its Applications num. 510 Importance : xiv - 311 p. Format : 25 cm ISBN/ISSN/EAN : 978-0-7923-6341-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H05 Nonstandard models in mathematics 03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H10 Other applications of nonstandard models (economics, physics, etc.) Mots-clés : Nonstandard analysis  Working mathematician  nonstandard analysis  nonstandard real analysis  nonstandard functional analysis  nonstandard measure theory  nonstandard probability theory  enlargements  Loeb measure  Loeb spaces Index. décimale : 03B Publication collective Nonstandard analysis for the working mathematician [texte imprimé] / Loeb, Peter A., Editeur scientifique ; Manfred Wolff, Editeur scientifique . - Dordrecht : Kluwer Academic Publishers, 2000 . - xiv - 311 p. ; 25 cm. - (Mathematics and its Applications; 510) . ISBN : 978-0-7923-6341-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H05 Nonstandard models in mathematics 03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H10 Other applications of nonstandard models (economics, physics, etc.) Mots-clés : Nonstandard analysis  Working mathematician  nonstandard analysis  nonstandard real analysis  nonstandard functional analysis  nonstandard measure theory  nonstandard probability theory  enlargements  Loeb measure  Loeb spaces Index. décimale : 03B Publication collective

Exemplaires

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

---

page 1/1