Order Total (1 Item Items):
Shipping Destination:
Rob Nederpelt (41 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (41)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (35)
- As New, Fine or Near Fine (4)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (16)
- Not Print on Demand (29)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Logical Reasoning: A First Course
Language: English
Published by College Publications, 2004
ISBN 10: 095430067X ISBN 13: 9780954300678
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Logical Reasoning
Language: English
Published by College Publications, GB, 2004
ISBN 10: 095430067X ISBN 13: 9780954300678
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 31.71
Free Shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
Logical Reasoning
Language: English
Published by College Publications, GB, 2004
ISBN 10: 095430067X ISBN 13: 9780954300678
Paperback. Condition: New.
-
Logical Reasoning
Language: English
Published by College Publications, GB, 2004
ISBN 10: 095430067X ISBN 13: 9780954300678
Paperback. Condition: New.
-
Type Theory and Formal Proof : An Introduction
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Condition: New.
-
Type Theory and Formal Proof: An Introduction
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Condition: New.
-
Logical Reasoning
Language: English
Published by College Publications, GB, 2004
ISBN 10: 095430067X ISBN 13: 9780954300678
US$ 29.66
US$ 87.72 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
Type Theory and Formal Proof: An Introduction
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 106.21
US$ 16.17 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Type Theory and Formal Proof : An Introduction
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 105.40
US$ 20.24 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Type Theory and Formal Proof
Language: English
Published by Cambridge University Press, GB, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Hardback. Condition: New. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material.
-
Type Theory and Formal Proof
Language: English
Published by Cambridge University Press, GB, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 136.20
Free Shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. Condition: New. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material.
-
Hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
US$ 159.71
US$ 16.87 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 436 pages. 10.00x7.00x1.00 inches. In Stock.
-
Type Theory and Formal Proof
Language: English
Published by Cambridge University Press, 2016
ISBN 10: 110703650X ISBN 13: 9781107036505
US$ 123.87
US$ 57.01 shipping
Ships from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, .
-
Type Theory and Formal Proof
Language: English
Published by Cambridge University Press, GB, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Hardback. Condition: New. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material.
-
Condition: New. pp. 378.
-
Type Theory and Formal Proof: An Introduction
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Condition: New. A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. Num Pages: 490 pages, 35 b/w illus. 125 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 177 x 29. Weight in Grams: 978. . 2014. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.
-
Type Theory and Formal Proof : An Introduction
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 195.99
US$ 20.24 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Type Theory and Formal Proof: An Introduction
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
US$ 184.88
US$ 33.74 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Type Theory and Formal Proof
Language: English
Published by Cambridge University Press, GB, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
US$ 132.98
US$ 87.72 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. Condition: New. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material.
-
Type Theory and Formal Proof : An Introduction
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Condition: As New. Unread book in perfect condition.
-
Type Theory and Formal Proof
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material.
-
US$ 226.54
US$ 16.87 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 371 pages. 9.25x6.10x0.85 inches. In Stock.
-
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 234.32
US$ 16.17 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 237.18
US$ 16.17 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Type Theory and Formal Proof: An Introduction
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
First Edition
US$ 242.82
US$ 12.22 shipping
Ships from Ireland to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. Num Pages: 490 pages, 35 b/w illus. 125 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 177 x 29. Weight in Grams: 978. . 2014. 1st Edition. Hardcover. . . . .
-
Condition: New. pp. 380.
-
US$ 286.36
US$ 33.74 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
-
Condition: very good. Broschiert. Sofortversand aus Deutschland. Artikel wiegt maximal 1000g. Vorsatz beschriftet. 386 Seiten. Englisches Exemplar.
-
Type Theory and Formal Proof (Hardcover)
Language: English
Published by Cambridge University Press, Cambridge, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Hardcover. Condition: new. Hardcover. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
