Results (1 - 30) of 179 1 2 3 4 5

Dirk van Dalen:

Published by Springer-Verlag, (1983)

ISBN 10: 038712831X ISBN 13: 9780387128313

Used Taschenbuch

Quantity Available: 1

From: Mosakowski & Stiasny GbR (Florstadt, Germany)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 10.39
Convert Currency
Shipping: US$ 11.11
From Germany to U.S.A.

Destination, Rates & Speeds

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.

Dirk Van Dalen

Published by Springer (1997)

ISBN 10: 0387578390 ISBN 13: 9780387578392

Used Paperback

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 22.73
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

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.

Dirk Van Dalen

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)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 31.90
Convert Currency
Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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.

Dirk Van Dalen

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)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 32.74
Convert Currency
Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer London Ltd (2012)

ISBN 10: 1447146158 ISBN 13: 9781447146155

New Hardcover

Quantity Available: 1

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

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 28.47
Convert Currency
Shipping: US$ 5.38
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

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.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 35.00
Convert Currency
Shipping: US$ 4.50
Within U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer (1997)

ISBN 10: 3540578390 ISBN 13: 9783540578390

New Paperback

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 36.75
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer Dez 2012 (2012)

ISBN 10: 1447146158 ISBN 13: 9781447146155

New

Quantity Available: 2

From: Buchhandlung - Bides GbR (Dresden, Germany)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 33.58
Convert Currency
Shipping: US$ 8.87
From Germany to U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer London Ltd

ISBN 10: 1447146158 ISBN 13: 9781447146155

New Hardcover

Quantity Available: 2

From: THE SAINT BOOKSTORE (Southport, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 34.34
Convert Currency
Shipping: US$ 9.13
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer Dez 2012 (2012)

ISBN 10: 1447146158 ISBN 13: 9781447146155

New

Quantity Available: 2

From: sparbuchladen (Göttingen, Germany)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 27.66
Convert Currency
Shipping: US$ 15.71
From Germany to U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer London Ltd (2012)

ISBN 10: 1447146158 ISBN 13: 9781447146155

New Hardcover

Quantity Available: 1

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

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 39.48
Convert Currency
Shipping: US$ 5.38
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer (2004)

ISBN 10: 3540208798 ISBN 13: 9783540208792

Used Softcover

Quantity Available: 1

From: Anybook Ltd. (Lincolnshire, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 36.98
Convert Currency
Shipping: US$ 9.99
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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.

Dirk Van Dalen

Published by Springer-Verlag (1997)

ISBN 10: 0387578390 ISBN 13: 9780387578392

New Paperback

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 43.00
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer London Ltd (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

New paperback

Quantity Available: 1

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

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 47.46
Convert Currency
Shipping: US$ 5.38
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer London Ltd

ISBN 10: 1447145577 ISBN 13: 9781447145578

New Paperback

Quantity Available: 5

From: THE SAINT BOOKSTORE (Southport, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 45.21
Convert Currency
Shipping: US$ 9.13
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer (2012)

ISBN 10: 1447146158 ISBN 13: 9781447146155

Used Hardcover

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 52.61
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer (1997)

ISBN 10: 3540578390 ISBN 13: 9783540578390

New Paperback

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 60.58
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer

ISBN 10: 1447146158 ISBN 13: 9781447146155

New Hardcover

Quantity Available: 20

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 63.00
Convert Currency
Shipping: US$ 3.95
Within U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer Nov 2012 (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

New Taschenbuch

Quantity Available: 1

Add Book to Shopping Basket
Price: US$ 61.79
Convert Currency
Shipping: US$ 11.17
From Germany to U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer Nov 2012 (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

New Taschenbuch

Quantity Available: 2

From: Buchhandlung - Bides GbR (Dresden, Germany)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 68.23
Convert Currency
Shipping: US$ 8.87
From Germany to U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer Nov 2012 (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

New Taschenbuch

Quantity Available: 2

From: AHA-BUCH GmbH (Einbeck, Germany)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 61.79
Convert Currency
Shipping: US$ 17.40
From Germany to U.S.A.

Destination, Rates & Speeds

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.

Dirk Van Dalen

ISBN 10: 1447146158 ISBN 13: 9781447146155

New Hardcover

Quantity Available: 1

From: AussieBookSeller (Artarmon, NSW, Australia)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 48.70
Convert Currency
Shipping: US$ 28.00
From Australia to U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer Nov 2012 (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

New Taschenbuch

Quantity Available: 1

From: sparbuchladen (Göttingen, Germany)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 61.44
Convert Currency
Shipping: US$ 15.71
From Germany to U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer Nov 2012 (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

New Taschenbuch

Quantity Available: 1

From: Agrios-Buch (Bergisch Gladbach, Germany)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 61.79
Convert Currency
Shipping: US$ 19.23
From Germany to U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer Nov 2012 (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

New Taschenbuch

Quantity Available: 1

From: Rheinberg-Buch (Bergisch Gladbach, Germany)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 61.79
Convert Currency
Shipping: US$ 19.23
From Germany to U.S.A.

Destination, Rates & Speeds

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.

Dirk Van Dalen

ISBN 10: 0387578390 ISBN 13: 9780387578392

New

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 82.92
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

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

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

Dirk van Dalen

Published by Springer (2012)

ISBN 10: 1447145577 ISBN 13: 9781447145578

New Paperback

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 90.96
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

Published by Springer (2008)

ISBN 10: 3540208798 ISBN 13: 9783540208792

New Paperback

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 119.50
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

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.

Dirk van Dalen

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.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 129.41
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

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.

Add Book to Shopping Basket
Price: US$ 128.18
Convert Currency
Shipping: US$ 12.29
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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

Binding

Collectible Attributes

Free Shipping

Bookseller Location

  • All Locations

Bookseller Rating

Results (1 - 30) of 179 1 2 3 4 5