Dybjer P (60 results)
- More images
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 62.74
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- More images
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 65.39
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Semantics and Logics of Computation. Book.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 67.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- More images
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 70.73
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 67.20
US$ 20.64 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 71.12
US$ 15.96 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
- First Edition
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 79.95
US$ 10.81 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: 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. . . . .
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 70.60
US$ 19.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Contact seller4-star sellerCondition: New
US$ 91.95
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
- More images
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 78.30
US$ 19.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 99.99
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 376.
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 94.39
US$ 10.50 shippingShips within U.S.A.Quantity: Over 20 available
Condition: 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.
Category Theory and Computer Science Manchaster Sep. 1989 / Lecture Notes in Computer Science # 389
Pitt , D.H. / Rydeheard , D.E. /Dybjer . P. /Pitts , A.M. / Poigne , A. (eds.)
Published by Springer 1989, 1989
- Softcover
Seller: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, GermanyAndere Welten Medienvertriebs GmbH
Contact seller3-star sellerCondition: Used
US$ 46.87
US$ 17.06 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basketSoftcover Sehr gut erhalten.
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 126.22
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.
- Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 126.22
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 134.04
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. 376.
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989 Proceedings (Lecture Notes in Computer Science 389)
Pitt, D.H.; Pitts, A.M.; Poigne, A.; Rydeheard, D.E.; Dybjer, P.
Language: English
Published by Springer Verlag, Secaucus, New Jersey, U.S.A., 1989
- Softcover
Seller: Book Booth, Berea, OH, U.S.A.Book Booth
Contact seller5-star sellerCondition: Used - Good
US$ 135.00
US$ 5.90 shippingShips within U.S.A.Quantity: 1 available
Soft Cover. Condition: Good. Text clean & bright; binding tight; moderate wear to covers; previous owner's name inked on title page. 365 pages. Volume 389, Lecture Notes in Computer Science.
- Hardcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 136.54
US$ 8.66 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. 376 9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam.
- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
US$ 143.11
US$ 6.95 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 144.29
US$ 11.32 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. pp. 376.
- More images
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 94.75
US$ 71.73 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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 lectu…re 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.
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 188.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 190.57
US$ 15.96 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Hardcover
- First Edition
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 209.65
US$ 10.81 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: 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 Gr…ams: 650. . 1997. 1st Edition. hardcover. . . . .
- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 253.33
US$ 10.50 shippingShips within U.S.A.Quantity: Over 20 available
Condition: 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 Gr…ams: 650. . 1997. 1st Edition. hardcover. . . . . Books ship from the US and Ireland.
Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Loef (Logic, Epistemology, and the Unity of Science)
Dybjer, P. (Editor) / Lindström, Sten (Editor) / Palmgren, Erik (Editor) / Sundholm, B.G. (Editor)
Language: English
Published by Springer, 2014
Series: Book 16 of 41 - Logic, Epistemology, and the Unity of Science
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 277.66
US$ 16.65 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 2012 edition. 416 pages. 9.25x6.10x0.94 inches. In Stock.
- More images
Language: English
Published by Springer, 2014
Series: Book 16 of 41 - Logic, Epistemology, and the Unity of Science
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 216.72
US$ 79.63 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: 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.
- More images
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 246.37
US$ 72.58 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: 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 cour…ses 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.
Language: English
Published by Springer, 2014
Series: Book 16 of 41 - Logic, Epistemology, and the Unity of Science
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 313.62
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 416.
- More images
Language: English
Published by Springer, 2014
Series: Book 16 of 41 - Logic, Epistemology, and the Unity of Science
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 250.74
US$ 71.83 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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 ma…thematics 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.
