Articoli correlati a Introduction to Mathematical Logic
Sinossi
This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic because of its simplicity, and a good basis for applications because it is the foundation of classical mathematics, and thus of the exact sciences which are based on it. The book is meant primarily for mathematics students who are already acquainted with some of the fundamental concepts of mathematics, such as that of a group. It should help the reader to see for himself the advantages of a formalisation. The step from the everyday language to a formalised language, which usually creates difficulties, is dis cussed and practised thoroughly. The analysis of the way in which basic mathematical structures are approached in mathematics leads in a natural way to the semantic notion of consequence. One of the substantial achievements of modern logic has been to show that the notion of consequence can be replaced by a provably equivalent notion of derivability which is defined by means of a calculus. Today we know of many calculi which have this property.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
I. Introduction.- II. The Language of Predicate Logic.- III. The Semantics of Predicate Logic.- IV. A Predicate Calculus.- V. Gödel’s Completeness Theorem.- VI. Peano’s Axiom System.- VII. Extensions of the Language, Normal Forms.- VIII. The Theorems of A. Robinson, Craig and Beth.- IX. Miscellaneous.- Further Reading.- Index of Abbreviations for Defining and Derived Rules.- Notation.- Name and Subject Index.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer Berlin Heidelberg
- Data di pubblicazione1973
- ISBN 10 3540058192
- ISBN 13 9783540058199
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero edizione1
- Numero di pagine260
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 47,23
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Introduction to Mathematical Logic
Immagini fornite dal venditore
INTRODUCTION TO MATHEMATICAL LOGIC (Universitext)
Editore:
Springer, 1973. 9783540058199, 1973
ISBN 10: 3540058192
ISBN 13: 9783540058199
Antico o usato
Brossura
Da: Rothwell & Dunworth (ABA, ILAB), Dulverton, Regno Unito
Valutazione del venditore 5 su 5 stelle
8vo. Original printed card covers (softback) (VG). Pp. xi + 242 (previous owner's neat inscription on front endpaper). Codice articolo 185806
Quantità: 1 disponibili
Foto dell'editore
Introduction to Mathematical Logic.
Editore:
Springer,, Berlin,, 1973
ISBN 10: 3540058192
ISBN 13: 9783540058199
Antico o usato
Brossura
Da: Antiquariat Nam, UstId: DE164665634, Freiburg, Germania
Valutazione del venditore 3 su 5 stelle
XI, 242 S. Kt. Cover leicht angestaubt, Seiten papierbedingt etw. gebräunt, sonst gut erhalten. en. Codice articolo 145783
Quantità: 1 disponibili
Foto dell'editore
Introduction to Mathematical Logic (Universitext) [Paperback] Hermes, Hans and Schmidt, Diana
Da: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Some wear to the extremities. Marks to both sides. Taping in places. Content clean and readable. Codice articolo 106590-7
Quantità: 1 disponibili
Immagini fornite dal venditore
Introduction to Mathematical Logic
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics however, classical . Codice articolo 4878952
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Introduction to Mathematical Logic
Editore:
Springer Berlin Heidelberg Jan 1973, 1973
ISBN 10: 3540058192
ISBN 13: 9783540058199
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic because of its simplicity, and a good basis for applications because it is the foundation of classical mathematics, and thus of the exact sciences which are based on it. The book is meant primarily for mathematics students who are already acquainted with some of the fundamental concepts of mathematics, such as that of a group. It should help the reader to see for himself the advantages of a formalisation. The step from the everyday language to a formalised language, which usually creates difficulties, is dis cussed and practised thoroughly. The analysis of the way in which basic mathematical structures are approached in mathematics leads in a natural way to the semantic notion of consequence. One of the substantial achievements of modern logic has been to show that the notion of consequence can be replaced by a provably equivalent notion of derivability which is defined by means of a calculus. Today we know of many calculi which have this property. 260 pp. Englisch. Codice articolo 9783540058199
Quantità: 2 disponibili
Foto dell'editore
Introduction to Mathematical Logic (Universitext)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783540058199
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Introduction to Mathematical Logic
Editore:
Springer Berlin Heidelberg, 1973
ISBN 10: 3540058192
ISBN 13: 9783540058199
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic because of its simplicity, and a good basis for applications because it is the foundation of classical mathematics, and thus of the exact sciences which are based on it. The book is meant primarily for mathematics students who are already acquainted with some of the fundamental concepts of mathematics, such as that of a group. It should help the reader to see for himself the advantages of a formalisation. The step from the everyday language to a formalised language, which usually creates difficulties, is dis cussed and practised thoroughly. The analysis of the way in which basic mathematical structures are approached in mathematics leads in a natural way to the semantic notion of consequence. One of the substantial achievements of modern logic has been to show that the notion of consequence can be replaced by a provably equivalent notion of derivability which is defined by means of a calculus. Today we know of many calculi which have this property. Codice articolo 9783540058199
Quantità: 1 disponibili
Immagini fornite dal venditore
Introduction to Mathematical Logic
ISBN 10: 3540058192
ISBN 13: 9783540058199
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic because of its simplicity, and a good basis for applications because it is the foundation of classical mathematics, and thus of the exact sciences which are based on it. The book is meant primarily for mathematics students who are already acquainted with some of the fundamental concepts of mathematics, such as that of a group. It should help the reader to see for himself the advantages of a formalisation. The step from the everyday language to a formalised language, which usually creates difficulties, is dis cussed and practised thoroughly. The analysis of the way in which basic mathematical structures are approached in mathematics leads in a natural way to the semantic notion of consequence. One of the substantial achievements of modern logic has been to show that the notion of consequence can be replaced by a provably equivalent notion of derivability which is defined by means of a calculus. Today we know of many calculi which have this property.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch. Codice articolo 9783540058199
Quantità: 2 disponibili
Immagini fornite dal venditore
Introduction to Mathematical Logic (Paperback or Softback)
Editore:
Springer 1/29/1973, 1973
ISBN 10: 3540058192
ISBN 13: 9783540058199
Nuovo
Paperback or Softback
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Introduction to Mathematical Logic 1.01. Book. Codice articolo BBS-9783540058199
Quantità: 5 disponibili
Foto dell'editore
Introduction to Mathematical Logic (Universitext)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540058199_new
Quantità: Più di 20 disponibili