p dybjer (14 Ergebnisse)

Zustand: New. In.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. pp. 376 9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam.

Zustand: New. Summer school lecture courses on modern logic and computation are presented here. Editor(s): Pitts, Andrew M.; Dybjer, Peter. Series: Publications of the Newton Institute. Num Pages: 376 pages, black & white illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 31. Weight in Grams: 572. . 2009. 1st Edition. paperback. . . . . Books ship from the US and Ireland.

Softcover Sehr gut erhalten.

Zustand: New. 416 pp., paperback, new. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.

Zustand: New. In.

Zustand: New. Summer school lecture courses on modern logic and computation are presented here. Editor(s): Pitts, Andrew M.; Dybjer, Peter. Series: Publications of the Newton Institute. Num Pages: 376 pages, Illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 25. Weight in Grams: 650. . 1997. 1st Edition. hardcover. . . . . Books ship from the US and Ireland.

Taschenbuch. Zustand: Neu. Epistemology versus Ontology | Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf | P. Dybjer (u. a.) | Taschenbuch | xxviii | Englisch | 2014 | Springer | EAN 9789401782388 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics.

Paperback. Zustand: Brand New. 2012 edition. 416 pages. 9.25x6.10x0.94 inches. In Stock.