Bibliothèque de L'IMIST/CNRST catalogue › Détails pour : Elements of mathematical logic (Model theory)

Elements of mathematical logic (Model theory)

par Kreisel, Georg. , Eléments de logique mathématique, theorie des modéles.

Autres auteurs : Krivine, J. L. -- (Jean Louis), -- joint author.

Collection : Studies in logic and the foundations of mathematics Détails physiques : 1 online resource (xi, 222 pages) ISBN :9780444534125; 0444534121.

Sujet(s) : Logic, Symbolic and mathematical.

| Logique symbolique et mathématique.

| Electronic books.

| Logic, Symbolic and mathematical.

Ressources en ligne :

http://www.sciencedirect.com/science/book/9780444534125

Tags de cette bibliothèque : Pas de tags pour ce titre. Connectez-vous pour ajouter des tags.

Exemplaires ( 0 )
Notes
Commentaires ( 0 )

Exemplaires : http://www.sciencedirect.com/science/book/9780444534125

Translation of Eléments de logique mathématique, theorie des modéles.

Description based on print version record.

Includes bibliographical references.

Propositional calculus -- Predicate calculus -- Predicate calculus with equality -- Elimination of Quantifiers -- Predicate calculus with several types of objects : the hierarchy of finite types -- Definability -- Principal models : models of infinite formulas.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL

http://purl.oclc.org/DLF/benchrepro0212

digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL

Il n'y a pas de commentaire pour ce document.

pour proposer un commentaire.