Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Condition: New.
Seller: Best Price, Torrance, CA, U.S.A.
Condition: New. SUPER FAST SHIPPING.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In English.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 156 pages. 9.25x6.10x0.36 inches. In Stock.
Published by Springer International Publishing, 2018
ISBN 10: 3319924133 ISBN 13: 9783319924137
Language: English
Seller: moluna, Greven, Germany
Condition: New.
Published by Springer International Publishing, Springer Nature Switzerland Dez 2018, 2018
ISBN 10: 3319924133 ISBN 13: 9783319924137
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas.The authors start with an exposition of set theory and the axiom of choice as used in everyday mathematics. Proceeding at a gentle pace, they go on to present some of the first important results in model theory, followed by a careful exposition of Gentzen-style natural deduction and a detailed proof of Gödel¿s completeness theorem for first-order logic. The book then explores the formal axiom system of Zermelo and Fraenkel before concluding with an extensive list of suggestions for further study.The present volume is primarily aimed at mathematics students who are already familiar with basic analysis, algebra and linear algebra. It contains numerous exercises of varying difficulty and can be used for self-study, though it is ideally suited as a text for a one-semester university course in the second or third year.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.
Published by Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319924133 ISBN 13: 9783319924137
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas.The authors start with an exposition of set theory and the axiom of choice as used in everyday mathematics. Proceeding at a gentle pace, they go on to present some of the first important results in model theory, followed by a careful exposition of Gentzen-style natural deduction and a detailed proof of Gödel's completeness theorem for first-order logic. The book then explores the formal axiom system of Zermelo and Fraenkel before concluding with an extensive list of suggestions for further study. The present volume is primarily aimed at mathematics students who are already familiar with basic analysis, algebra and linear algebra. It contains numerous exercises of varying difficulty and can be used for self-study, though it is ideally suited as a text for a one-semester university course in the second or third year.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Sets, Models and Proofs | Jaap van Oosten (u. a.) | Taschenbuch | xiv | Englisch | 2018 | Springer | EAN 9783319924137 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Published by Elsevier Science 2008-02-14, 2008
ISBN 10: 0444515844 ISBN 13: 9780444515841
Language: English
Seller: Chiron Media, Wallingford, United Kingdom
Hardcover. Condition: New.
Condition: New. pp. 328 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Condition: New. pp. 328.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Condition: New.
Condition: New. pp. 328.
Published by Elsevier Science & Technology, 2008
ISBN 10: 0444515844 ISBN 13: 9780444515841
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Hardback. Condition: New. New copy - Usually dispatched within 4 working days. 710.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Condition: New. In.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 332 pages. 9.00x6.00x0.75 inches. In Stock.
Published by Elsevier Science and Technology, GB, 2008
ISBN 10: 0444515844 ISBN 13: 9780444515841
Language: English
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.
Hardback. Condition: New. Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area.
Gebunden. Condition: New. - The first book to date on this subject area- Provides an clear introduction to Realizability with a comprehensive bibliography- Easy to read and mathematically rigorous- Written by an expert in the fieldAimed at starting researchers in the.
Published by Elsevier Science and Technology, GB, 2008
ISBN 10: 0444515844 ISBN 13: 9780444515841
Language: English
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Hardback. Condition: New. Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area.
Published by Elsevier Science and Technology, GB, 2008
ISBN 10: 0444515844 ISBN 13: 9780444515841
Language: English
Seller: Rarewaves USA United, OSWEGO, IL, U.S.A.
Hardback. Condition: New. Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area.
Published by Elsevier Science and Technology, GB, 2008
ISBN 10: 0444515844 ISBN 13: 9780444515841
Language: English
Seller: Rarewaves.com UK, London, United Kingdom
Hardback. Condition: New. Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area.
Seller: Mispah books, Redhill, SURRE, United Kingdom
paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.