Cover is for reference only

Elements of mathematical logic (Model theory)

Saved in:
Bibliographic Details
Main Authors: Kreisel, Georg
Corporate Authors: Elsevier Science & Technology
Group Author: Krivine, J. L. Jean Louis
Published: North Holland Pub. Co.,
Publisher Address: Amsterdam,
Publication Dates: 1967.
Literature type: eBook
Language: English
Undetermined
Series: Studies in logic and the foundations of mathematics
Subjects:
Logic, Symbolic and mathematical
Logique symbolique et mathe matique
Electronic books
Online Access: http://www.sciencedirect.com/science/bookseries/0049237X/48
Item Description: Translation of Ele ments de logique mathe matique, theorie des mode les.
Carrier Form: 1 online resource (xi, 222 pages).
Bibliography: Includes bibliographical references.
ISBN: 9780444534125
0444534121
Index Number: QA9
CLC: O141
Contents: 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.

Related Book Recommendations