Articoli correlati a Logic and Structure

Dalen, Dirk Van Logic and Structure ISBN 13: 9783540128311

Logic and Structure - Brossura

 
9783540128311: Logic and Structure

Sinossi

Logic appears in a 'sacred' and in a 'profane' form. The sacred form is dominant in proof theory, the profane form in model theory. The phenomenon is not unfamiliar, one observes this dichotomy also in other areas, e.g. set theory and recursion theory. For one reason or another, such as the discovery of the set theoretical paradoxes (Cantor, Russell), or the definability paradoxes (Richard, Berry), a subject is treated for some time with the utmost awe and diffidence. As a rule, however, sooner or later people start to treat the matter in a more free and easy way. Being raised in the 'sacred' tradition, I was greatly surprised (and some­ what shocked) when I observed Hartley Rogers teaching recursion theory to mathema­ ticians as if it were just an ordinary course in, say, linear algebra or algebraic topology. In the course of time I have come to accept his viewpoint as the didac­ tically sound one: before going into esoteric niceties one should develop a certain feeling for the subject and obtain a reasonable amount of plain working knowledge. For this reason I have adopted the profane attitude in this introductory text, reserving the more sacred approach for advanced courses. Readers who want to know more about the latter aspect of logic are referred to the immortal texts of Hilbert-Bernays or Kleene.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

Dirk van Dalen studied at the University of Amsterdam, where he obtained his PhD. He has taught since 1960 at Utrecht University, where he is full professor. He also taught at MIT and Oxford. His technical work is mostly in the area of intuitionistic mathematics and logic. He uses to call attention to the benefits and challenges of constructive methods. His current project is a biography of L.E.J. Brouwer and the editing of Brouwer's correspondence.

Dalla quarta di copertina

A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-Löwenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions.

The discussion of classical logic is rounded off with a concise exposition of second-order logic.

In view of the growing recognition of constructive methods and principles, one chapter is devoted to intuitionistic logic. Completeness is established for Kripke semantics. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property have been incorporated.

The power and elegance of natural deduction is demonstrated best in the part of proof theory called `cut-elimination' or `normalization'. Chapter 6 is devoted to this topic; it contains the basic facts on the structure of derivations, both classically and intuitionistically.

Finally, this edition contains a new chapter on Gödel's first incompleteness theorem. The chapter is self-contained, it provides a systematic exposition of primitive recursion and partial recursive functions, recursive by enumerable sets, and recursive separability. The arithmetization of Peano's arithmetic is based on the natural deduction system.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione1983
  • ISBN 10 354012831X
  • ISBN 13 9783540128311
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero edizione2
  • Numero di pagine220
  • Contatto del produttorenon disponibile

Compra usato

210 Ex-library book in GOOD condition...
Visualizza questo articolo

EUR 7,00 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Risultati della ricerca per Logic and Structure

Immagini fornite dal venditore

Dalen, Dirk:
ISBN 10: 354012831X ISBN 13: 9783540128311
Antico o usato Brossura

Da: Antiquariat Bookfarm, Löbnitz, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Second Edition. 210 Ex-library book in GOOD condition, some traces of use, with stamp and signature. Ehem. Bibliotheksexemplar mit Stempel und Signatur, ein paar Gebrauchsspuren. 9783540128311 Sprache: Englisch Gewicht in Gramm: 550. Codice articolo 717231

Contatta il venditore

Compra usato

EUR 7,12
Convertire valuta
Spese di spedizione: EUR 7,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

D. V. Dalen
Editore: Springer-Verlag, 1989
ISBN 10: 354012831X ISBN 13: 9783540128311
Antico o usato Softcover

Da: Ammareal, Morangis, Francia

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Softcover. Condizione: Bon. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo G-122-152

Contatta il venditore

Compra usato

EUR 10,79
Convertire valuta
Spese di spedizione: EUR 8,00
Da: Francia a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

D. V. Dalen
Editore: Springer-Verlag, 1989
ISBN 10: 354012831X ISBN 13: 9783540128311
Antico o usato Softcover

Da: Ammareal, Morangis, Francia

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Softcover. Condizione: Bon. Ancien livre de bibliothèque avec équipements. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo G-128-951

Contatta il venditore

Compra usato

EUR 10,79
Convertire valuta
Spese di spedizione: EUR 8,00
Da: Francia a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Dalen, D. V.
Editore: Springer-Verlag, 1989
ISBN 10: 354012831X ISBN 13: 9783540128311
Antico o usato Brossura

Da: Anybook.com, Lincoln, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:354012831X. Codice articolo 9511079

Contatta il venditore

Compra usato

EUR 10,17
Convertire valuta
Spese di spedizione: EUR 10,04
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Dalen, D. V.
Editore: Springer-Verlag, 1983
ISBN 10: 354012831X ISBN 13: 9783540128311
Antico o usato Brossura

Da: Anybook.com, Lincoln, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:354012831X. Codice articolo 9628276

Contatta il venditore

Compra usato

EUR 10,67
Convertire valuta
Spese di spedizione: EUR 10,04
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Dalen, D. V.
Editore: Springer-Verlag, 1989
ISBN 10: 354012831X ISBN 13: 9783540128311
Antico o usato Brossura

Da: Anybook.com, Lincoln, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:354012831X. Codice articolo 9628277

Contatta il venditore

Compra usato

EUR 10,67
Convertire valuta
Spese di spedizione: EUR 10,04
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Dalen, Dirk van -
ISBN 10: 354012831X ISBN 13: 9783540128311
Antico o usato Brossura

Da: Antiquariat Smock, Freiburg, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Gut. Formateinband: Broschierte Ausgabe X, 207 S. (24,5 cm) 2nd Edition; Minimaler blasser Fleck am Vorderdeckel; Papier gebräunt; sonst gut erhalten. Sprache: Englisch Gewicht in Gramm: 490 [Stichwörter: Propositional Logic, Predicate logic, Completeness and applications, Second-order-logic, Intuitionistic logic]. Codice articolo 61878

Contatta il venditore

Compra usato

EUR 10,00
Convertire valuta
Spese di spedizione: EUR 10,90
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Dalen, D. van.
ISBN 10: 354012831X ISBN 13: 9783540128311
Antico o usato Brossura

Da: Klondyke, Almere, Paesi Bassi

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Good. Paperback, illustrated with numerous equations and diagrams, 8vo. Universitext.; Name in pen on title page. Codice articolo 342014-ZA22

Contatta il venditore

Compra usato

EUR 11,00
Convertire valuta
Spese di spedizione: EUR 9,95
Da: Paesi Bassi a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Dalen, Dirk van
Editore: Springer, 1983
ISBN 10: 354012831X ISBN 13: 9783540128311
Antico o usato Brossura

Da: Buchpark, Trebbin, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Gut. Zustand: Gut | Seiten: 220 | Sprache: Englisch | Produktart: Sonstiges. Codice articolo 42709921/203

Contatta il venditore

Compra usato

EUR 97,06
Convertire valuta
Spese di spedizione: GRATIS
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Dalen, Dirk Van
Editore: Springer-Verlag, 1989
ISBN 10: 354012831X ISBN 13: 9783540128311
Antico o usato Paperback

Da: Mispah books, Redhill, SURRE, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Like New. Like New. book. Codice articolo ERICA773354012831X6

Contatta il venditore

Compra usato

EUR 100,23
Convertire valuta
Spese di spedizione: EUR 29,67
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello