ISBN: 9789027707819
This book is intended to be a survey of the most important results in mathematical logic for philosophers. It is a survey of results which have philosophical significance and it is intend… Altro …
BetterWorldBooks.com used in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
ISBN: 9789027707819
This book is intended to be a survey of the most important results in mathematical logic for philosophers. It is a survey of results which have philosophical significance and it is intend… Altro …
Springer.com Nr. 978-90-277-0781-9. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00) Details... |
1977, ISBN: 9027707812
edizione con copertina rigida
[EAN: 9789027707819], Gebraucht, sehr guter Zustand, [PU: Dordrecht, Boston, D. Reidel Publishing Company], LOGIC, APPLICATIONS, PHILOSOPHY, MATHEMATICS, MATHEMATIK, PHILOSOPHIE, LOGIK, X… Altro …
AbeBooks.de avelibro OHG, Dinkelscherben, Germany [72099711] [Rating: 5 (von 5)] NOT NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
1977, ISBN: 9789027707819
1. Auflage XI, 1 Blatt, 167 Seiten, 4 Blatt 23,5 x 15,5 cm Hardcover. Original dunkelblauer Leineneinband mit goldenem Rückentitel und kleinem, blindgeprägtem Verlagssignet auf dem Vorder… Altro …
buchfreund.de avelibro OHG, 86424 Dinkelscherben Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1977, ISBN: 9789027707819
Buch, Hardcover, 1977 ed. [PU: Kluwer Academic Publishers], Kluwer Academic Publishers, 1977
lehmanns.de Costi di spedizione:Lieferbar. (EUR 0.00) Details... |
ISBN: 9789027707819
This book is intended to be a survey of the most important results in mathematical logic for philosophers. It is a survey of results which have philosophical significance and it is intend… Altro …
ISBN: 9789027707819
This book is intended to be a survey of the most important results in mathematical logic for philosophers. It is a survey of results which have philosophical significance and it is intend… Altro …
1977
ISBN: 9027707812
edizione con copertina rigida
[EAN: 9789027707819], Gebraucht, sehr guter Zustand, [PU: Dordrecht, Boston, D. Reidel Publishing Company], LOGIC, APPLICATIONS, PHILOSOPHY, MATHEMATICS, MATHEMATIK, PHILOSOPHIE, LOGIK, X… Altro …
1977, ISBN: 9789027707819
1. Auflage XI, 1 Blatt, 167 Seiten, 4 Blatt 23,5 x 15,5 cm Hardcover. Original dunkelblauer Leineneinband mit goldenem Rückentitel und kleinem, blindgeprägtem Verlagssignet auf dem Vorder… Altro …
1977, ISBN: 9789027707819
Buch, Hardcover, 1977 ed. [PU: Kluwer Academic Publishers], Kluwer Academic Publishers, 1977
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Advanced Logic for Applications
EAN (ISBN-13): 9789027707819
ISBN (ISBN-10): 9027707812
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1977
Editore: Kluwer Academic Publishers
181 Pagine
Peso: 0,454 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2008-04-01T22:07:41+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-09-29T19:50:45+02:00 (Zurich)
ISBN/EAN: 9789027707819
ISBN - Stili di scrittura alternativi:
90-277-0781-2, 978-90-277-0781-9
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : grandy
Titolo del libro: advanced logic for applications, synthese library band
Dati dell'editore
Autore: R.E. Grandy
Titolo: Synthese Library; Advanced Logic for Applications
Editore: Springer; Springer Netherland
176 Pagine
Anno di pubblicazione: 1977-11-30
Dordrecht; NL
Peso: 1,000 kg
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIII, 176 p.
BB; Logic; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; access; bibliography; derivation; identity; language; logic; notation; object; subject; truth; will; writing; Logic; BC; EA
I. Henkin Sets and the Fundamental Theorem.- II. Derivation Rules and Completeness.- III. Gentzen Systems and Constructive Completeness Proofs.- IV. Quantification Theory with Identity and Functional Constants.- V. First Order Theories with Equality.- VI. Gödel’s Incompleteness Theorems: Preliminary Discussion.- VII. Undecidability and Incompleteness.- VIII. Gödel’s Second Incompleteness Theorem.- IX. Tarski’s Theorems and the Definition of Truth.- X. Some Recursive Function Theory.- XI. Intuitionistic Logic.- XII. Second Order Logic.- XIII. Algebraic Logic.- XIV. Anadic Logic.- Selected Bibliography.- Index of Names.- Index of Subjects.- Index of Symbols.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9789401011914 Advanced Logic for Applications (R. E. Grandy)
< Per archiviare...