Published by Springer-Verlag, (1983)

ISBN 10: 038712831X ISBN 13: 9780387128313

**Used**
**
Taschenbuch
**

Quantity Available: 1

From: Mosakowski & Stiasny GbR (Florstadt, Germany)

**Item Description: **Springer-Verlag, 1983. Taschenbuch. Book Condition: Gut. Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 550. Bookseller Inventory # 368151

More Information About This Seller | Ask Bookseller a Question 1.

Published by Springer (1997)

ISBN 10: 0387578390 ISBN 13: 9780387578392

**Used**
**
Paperback
**

Quantity Available: 1

From: ExtremelyReliable (RICHMOND, TX, U.S.A.)

Print on Demand

**Item Description: **Springer, 1997. Paperback. Book Condition: Used: Like New. This item is printed on demand. Bookseller Inventory # SONG0387578390

More Information About This Seller | Ask Bookseller a Question 2.

Published by Springer London Ltd, United Kingdom (2012)

ISBN 10: 1447146158 ISBN 13: 9781447146155

**New**
**Hardcover**

Quantity Available: 1

From: The Book Depository US (London, United Kingdom)

**Item Description: **Springer London Ltd, United Kingdom, 2012. Hardback. Book Condition: New. 2013 ed.. 242 x 154 mm. Language: English Brand New Book. Dirk van Dalen s biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwer s main interest, however, was in the foundation of mathematics which led him to introduce, and then consolidate, constructive methods under the name intuitionism . This made him one of the main protagonists in the foundation crisis of mathematics. As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict ( The war of the frogs and the mice ). It was here that Brouwer played a pivotal role. The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century. Bookseller Inventory # KNV9781447146155

More Information About This Seller | Ask Bookseller a Question 3.

Published by Springer London Ltd, United Kingdom (2012)

ISBN 10: 1447146158 ISBN 13: 9781447146155

**New**
**Hardcover**

Quantity Available: 1

From: The Book Depository (London, United Kingdom)

**Item Description: **Springer London Ltd, United Kingdom, 2012. Hardback. Book Condition: New. 2013 ed.. 242 x 154 mm. Language: English Brand New Book. Dirk van Dalen s biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwer s main interest, however, was in the foundation of mathematics which led him to introduce, and then consolidate, constructive methods under the name intuitionism . This made him one of the main protagonists in the foundation crisis of mathematics. As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict ( The war of the frogs and the mice ). It was here that Brouwer played a pivotal role. The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century. Bookseller Inventory # KNV9781447146155

More Information About This Seller | Ask Bookseller a Question 4.

Published by Springer London Ltd (2012)

ISBN 10: 1447146158 ISBN 13: 9781447146155

**New**
**Hardcover**

Quantity Available: 1

From: Blackwell Online (Oxford, OX, United Kingdom)

**Item Description: **Springer London Ltd, 2012. hardback. Book Condition: New. *** NEW COPY *** TITLE SHIPPED FROM UK *** Binding hardback Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer belonged to a special class of genius and was one of the key players in topology. This book details of the life and work of this complex and often controversial genius. Bookseller Inventory # 1447146158

More Information About This Seller | Ask Bookseller a Question 5.

Published by Springer, Germany

ISBN 10: 3540208798 ISBN 13: 9783540208792

**Used**
**
Soft Cover
**

Quantity Available: 1

From: Camerons Books and Magazines (Portland, OR, U.S.A.)

**Item Description: **Springer, Germany. Soft Cover. Book Condition: Fine. The covers are bright and clean, the pages are crisp and without tears, the text is unmarked, and the book is tightly bound and in fine condition. (F/No Jacket.) 263pp. Bookseller Inventory # 23089

More Information About This Seller | Ask Bookseller a Question 6.

Published by Springer (1997)

ISBN 10: 3540578390 ISBN 13: 9783540578390

**New**
**
Paperback
**

Quantity Available: 1

From: ExtremelyReliable (RICHMOND, TX, U.S.A.)

Print on Demand

**Item Description: **Springer, 1997. Paperback. Book Condition: New. 3rd. This item is printed on demand. Bookseller Inventory # DADAX3540578390

More Information About This Seller | Ask Bookseller a Question 7.

Published by Springer Dez 2012 (2012)

ISBN 10: 1447146158 ISBN 13: 9781447146155

**New**

Quantity Available: 2

From: Buchhandlung - Bides GbR (Dresden, Germany)

**Item Description: **Springer Dez 2012, 2012. Buch. Book Condition: Neu. 235x155x53 mm. Neuware - Dirk van Dalen s biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwer s main interest, however, was in the foundation of mathematics which led him to introduce, and then consolidate, constructive methods under the name intuitionism . This made him one of the main protagonists in the foundation crisis of mathematics. As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict ('The war of the frogs and the mice'). It was here that Brouwer played a pivotal role. The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century. 875 pp. Englisch. Bookseller Inventory # 9781447146155

More Information About This Seller | Ask Bookseller a Question 8.

Published by Springer London Ltd

ISBN 10: 1447146158 ISBN 13: 9781447146155

**New**
**Hardcover**

Quantity Available: 2

From: THE SAINT BOOKSTORE (Southport, United Kingdom)

**Item Description: **Springer London Ltd. Hardback. Book Condition: new. BRAND NEW, L. E. J. Brouwer - Topologist, Intuitionist, Philosopher: How Mathematics is Rooted in Life, Dirk van Dalen, Dirk van Dalen's biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwer's main interest, however, was in the foundation of mathematics which led him to introduce, and then consolidate, constructive methods under the name 'intuitionism'. This made him one of the main protagonists in the 'foundation crisis' of mathematics. As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict ('The war of the frogs and the mice'). It was here that Brouwer played a pivotal role. The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century. Bookseller Inventory # B9781447146155

More Information About This Seller | Ask Bookseller a Question 9.

Published by Springer Dez 2012 (2012)

ISBN 10: 1447146158 ISBN 13: 9781447146155

**New**

Quantity Available: 2

From: sparbuchladen (Göttingen, Germany)

**Item Description: **Springer Dez 2012, 2012. Buch. Book Condition: Neu. 235x155x53 mm. Neuware - Dirk van Dalen s biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwer s main interest, however, was in the foundation of mathematics which led him to introduce, and then consolidate, constructive methods under the name intuitionism . This made him one of the main protagonists in the foundation crisis of mathematics. As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict ('The war of the frogs and the mice'). It was here that Brouwer played a pivotal role. The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century. 875 pp. Englisch. Bookseller Inventory # 9781447146155

More Information About This Seller | Ask Bookseller a Question 10.

Published by Springer London Ltd (2012)

ISBN 10: 1447146158 ISBN 13: 9781447146155

**New**
**Hardcover**

Quantity Available: 1

From: Blackwell Online (Oxford, OXON, United Kingdom)

**Item Description: **Springer London Ltd, 2012. hardback. Book Condition: New. *** NEW COPY *** TITLE SHIPPED FROM UK *** Binding hardback Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer belonged to a special class of genius and was one of the key players in topology. This book details of the life and work of this complex and often controversial genius. Bookseller Inventory # 1447146158

More Information About This Seller | Ask Bookseller a Question 11.

Published by Springer (2004)

ISBN 10: 3540208798 ISBN 13: 9783540208792

**Used**
**
Softcover
**

Quantity Available: 1

From: Anybook Ltd. (Lincolnshire, United Kingdom)

**Item Description: **Springer, 2004. Book Condition: 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. Bookseller Inventory # 4225446

More Information About This Seller | Ask Bookseller a Question 12.

Published by Springer-Verlag (1997)

ISBN 10: 0387578390 ISBN 13: 9780387578392

**New**
**
Paperback
**

Quantity Available: 1

From: ExtremelyReliable (RICHMOND, TX, U.S.A.)

Print on Demand

**Item Description: **Springer-Verlag, 1997. Paperback. Book Condition: New. 3rd/Augmnt. This item is printed on demand. Bookseller Inventory # DADAX0387578390

More Information About This Seller | Ask Bookseller a Question 13.

Published by Springer London Ltd (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

**New**
**
paperback
**

Quantity Available: 1

From: Blackwell Online (Oxford, OXON, United Kingdom)

**Item Description: **Springer London Ltd, 2012. paperback. Book Condition: New. *** NEW COPY *** TITLE SHIPPED FROM UK *** Binding paperback Dirk van Dalen's popular textbook, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Godel's famous incompleteness theorem. Includes a new section on ultra-products. Bookseller Inventory # 1447145577

More Information About This Seller | Ask Bookseller a Question 14.

Published by Springer London Ltd

ISBN 10: 1447145577 ISBN 13: 9781447145578

**New**
**
Paperback
**

Quantity Available: 5

From: THE SAINT BOOKSTORE (Southport, United Kingdom)

Print on Demand

**Item Description: **Springer London Ltd. Paperback. Book Condition: new. BRAND NEW PRINT ON DEMAND., Logic and Structure (5th ed. 2013), Dirk van Dalen, Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Godel's famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen's natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Lowenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Godel translation, the disjunction and existence property are also included. The last chapter on Godel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory. This new edition has been properly revised and contains a new section on ultra-products. Bookseller Inventory # B9781447145578

More Information About This Seller | Ask Bookseller a Question 15.

Published by Springer (2012)

ISBN 10: 1447146158 ISBN 13: 9781447146155

**Used**
**Hardcover**

Quantity Available: 1

From: ExtremelyReliable (RICHMOND, TX, U.S.A.)

Print on Demand

**Item Description: **Springer, 2012. Hardcover. Book Condition: Used: Very Good. 2013. This item is printed on demand. Bookseller Inventory # SONG1447146158

More Information About This Seller | Ask Bookseller a Question 16.

Published by Springer (1997)

ISBN 10: 3540578390 ISBN 13: 9783540578390

**New**
**
Paperback
**

Quantity Available: 1

From: ExtremelyReliable (RICHMOND, TX, U.S.A.)

Print on Demand

**Item Description: **Springer, 1997. Paperback. Book Condition: New. This item is printed on demand. Bookseller Inventory # SONG3540578390

More Information About This Seller | Ask Bookseller a Question 17.

Published by Springer

ISBN 10: 1447146158 ISBN 13: 9781447146155

**New**
**Hardcover**

Quantity Available: 20

From: BuySomeBooks (Las Vegas, NV, U.S.A.)

**Item Description: **Springer. Hardcover. Book Condition: New. Hardcover. 875 pages. Dimensions: 9.5in. x 6.1in. x 1.5in.Dirk van Dalens biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L. E. J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwers main interest, however, was in the foundation of mathematics which led him to introduce, and then consolidate, constructive methods under the name intuitionism. This made him one of the main protagonists in the foundation crisis of mathematics. As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict (The war of the frogs and the mice). It was here that Brouwer played a pivotal role. The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN, Momence,IL, Commerce,GA. Hardcover. Bookseller Inventory # 9781447146155

More Information About This Seller | Ask Bookseller a Question 18.

Published by Springer Nov 2012 (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

**New**
**
Taschenbuch
**

Quantity Available: 1

From: Rhein-Team Lörrach Ivano Narducci e.K. (Lörrach, Germany)

**Item Description: **Springer Nov 2012, 2012. Taschenbuch. Book Condition: Neu. 235x155x14 mm. Neuware - Dirk van Dalen s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen s natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property are also included. The last chapter on Gödel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory. This new edition has been properly revised and contains a new section on ultra-products. 263 pp. Englisch. Bookseller Inventory # 9781447145578

More Information About This Seller | Ask Bookseller a Question 19.

Published by Springer Nov 2012 (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

**New**
**
Taschenbuch
**

Quantity Available: 2

From: Buchhandlung - Bides GbR (Dresden, Germany)

**Item Description: **Springer Nov 2012, 2012. Taschenbuch. Book Condition: Neu. 235x155x14 mm. Neuware - Dirk van Dalen s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen s natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property are also included. The last chapter on Gödel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory. This new edition has been properly revised and contains a new section on ultra-products. 263 pp. Englisch. Bookseller Inventory # 9781447145578

More Information About This Seller | Ask Bookseller a Question 20.

Published by Springer Nov 2012 (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

**New**
**
Taschenbuch
**

Quantity Available: 2

From: AHA-BUCH GmbH (Einbeck, Germany)

Print on Demand

**Item Description: **Springer Nov 2012, 2012. Taschenbuch. Book Condition: Neu. 235x155x14 mm. This item is printed on demand - Print on Demand Titel. Neuware - Dirk van Dalen s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen s natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property are also included. The last chapter on Gödel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory. This new edition has been properly revised and contains a new section on ultra-products. 263 pp. Englisch. Bookseller Inventory # 9781447145578

More Information About This Seller | Ask Bookseller a Question 21.

ISBN 10: 1447146158 ISBN 13: 9781447146155

**New**
**Hardcover**

Quantity Available: 1

From: AussieBookSeller (Artarmon, NSW, Australia)

**Item Description: **2012. Hardcover. Book Condition: New. 12201st. 165mm x 51mm x 236mm. Hardcover. Dirk van Dalen's biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of .Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. 875 pages. 1.361. Bookseller Inventory # 9781447146155

More Information About This Seller | Ask Bookseller a Question 22.

Published by Springer Nov 2012 (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

**New**
**
Taschenbuch
**

Quantity Available: 1

From: sparbuchladen (Göttingen, Germany)

**Item Description: **Springer Nov 2012, 2012. Taschenbuch. Book Condition: Neu. 23.5x15.5x cm. Neuware - Dirk van Dalen s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen s natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property are also included. The last chapter on Gödel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory. This new edition has been properly revised and contains a new section on ultra-products. 263 pp. Englisch. Bookseller Inventory # 9781447145578

More Information About This Seller | Ask Bookseller a Question 23.

Published by Springer Nov 2012 (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

**New**
**
Taschenbuch
**

Quantity Available: 1

From: Agrios-Buch (Bergisch Gladbach, Germany)

**Item Description: **Springer Nov 2012, 2012. Taschenbuch. Book Condition: Neu. 235x155x14 mm. Neuware - Dirk van Dalen s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen s natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property are also included. The last chapter on Gödel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory. This new edition has been properly revised and contains a new section on ultra-products. 263 pp. Englisch. Bookseller Inventory # 9781447145578

More Information About This Seller | Ask Bookseller a Question 24.

Published by Springer Nov 2012 (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

**New**
**
Taschenbuch
**

Quantity Available: 1

From: Rheinberg-Buch (Bergisch Gladbach, Germany)

**Item Description: **Springer Nov 2012, 2012. Taschenbuch. Book Condition: Neu. 235x155x14 mm. Neuware - Dirk van Dalen s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen s natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property are also included. The last chapter on Gödel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory. This new edition has been properly revised and contains a new section on ultra-products. 263 pp. Englisch. Bookseller Inventory # 9781447145578

More Information About This Seller | Ask Bookseller a Question 25.

ISBN 10: 0387578390 ISBN 13: 9780387578392

**New**

Quantity Available: 1

From: Castle Rock (Pittsford, NY, U.S.A.)

**Item Description: **Book Condition: Brand New. Book Condition: Brand New. Bookseller Inventory # 97803875783921.0

More Information About This Seller | Ask Bookseller a Question 26.

Published by Springer (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

**New**
**
Paperback
**

Quantity Available: 1

From: ExtremelyReliable (RICHMOND, TX, U.S.A.)

Print on Demand

**Item Description: **Springer, 2012. Paperback. Book Condition: New. 5th ed. 2013. This item is printed on demand. Bookseller Inventory # SONG1447145577

More Information About This Seller | Ask Bookseller a Question 27.

Published by Springer (2008)

ISBN 10: 3540208798 ISBN 13: 9783540208792

**New**
**
Paperback
**

Quantity Available: 1

From: ExtremelyReliable (RICHMOND, TX, U.S.A.)

Print on Demand

**Item Description: **Springer, 2008. Paperback. Book Condition: New. 4th. This item is printed on demand. Bookseller Inventory # DADAX3540208798

More Information About This Seller | Ask Bookseller a Question 28.

Published by Springer 2008-09-01 (2008)

ISBN 10: 3540208798 ISBN 13: 9783540208792

**New**
**
Paperback
**

Quantity Available: 1

From: Lost Books (AUSTIN, TX, U.S.A.)

**Item Description: **Springer 2008-09-01, 2008. Paperback. Book Condition: New. 4th. 3540208798. Bookseller Inventory # 496170

More Information About This Seller | Ask Bookseller a Question 29.

Published by Springer (1997)

ISBN 10: 3540631720 ISBN 13: 9783540631729

**New**
**
Paperback
**

Quantity Available: 1

From: Herb Tandree Philosophy Books (Stroud, GLOS, United Kingdom)

**Item Description: **Springer, 1997. Paperback. Book Condition: NEW. 9783540631729 Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # 340571

More Information About This Seller | Ask Bookseller a Question 30.

Condition

- All Conditions
- New Books (123)
- Used Books (56)

Binding

- All Bindings
- Hardcover (53)
- Softcover (85)

Collectible Attributes

- First Edition (7)
- Signed Copy
- Dust Jacket (3)
- Seller-Supplied Images (8)
- Not Printed On Demand

Free Shipping

- Free US Shipping (51)

Bookseller Location

- All Locations

Bookseller Rating

- All Booksellers
- and up
- and up
- and up (175)
- (111)