type-theory-and-formal-proof-an-introduction

You May Like

Type Theory and Formal Proof: An Introduction (Hardback or Cased Book)
Type Theory and Formal Proof: An Introduction (Hardback or Cased Book)

$105.49

View Details
Type Theory and Formal Proof: An Introduction by Rob Nederpelt (English) Hardcov
Type Theory and Formal Proof: An Introduction by Rob Nederpelt (English) Hardcov

$102.05

View Details
Type Theory and Formal Proof : An Introduction, Hardcover by Nederpelt, Rob; ...
Type Theory and Formal Proof : An Introduction, Hardcover by Nederpelt, Rob; ...

$102.35

View Details
Type Theory and Formal Proof : An Introduction, Hardcover by Nederpelt, Rob; ...
Type Theory and Formal Proof : An Introduction, Hardcover by Nederpelt, Rob; ...

$99.74

View Details
Type Theory and Formal Proof: An Introduction by Professor Nederpelt, Rob: New
Type Theory and Formal Proof: An Introduction by Professor Nederpelt, Rob: New

$97.87

View Details
Type Theory and Formal Proof: An Introduction by Rob Nederpelt [Hardback]
Type Theory and Formal Proof: An Introduction by Rob Nederpelt [Hardback]

$74.68

View Details
Type Theory and Formal Proof: An Introduction by Rob Nederpelt
Type Theory and Formal Proof: An Introduction by Rob Nederpelt

$71.63

View Details
Type Theory and Formal Proof: An Introduction by Nederpelt, Geuvers New..
Type Theory and Formal Proof: An Introduction by Nederpelt, Geuvers New..

$111.72

View Details
Type Theory and Formal Proof An Introduction Nederpelt Geuvers Hardback
Type Theory and Formal Proof An Introduction Nederpelt Geuvers Hardback

$71.69

View Details
Herman Geuvers - Type Theory and Formal Proof   An Introduction - New  - N555z
Herman Geuvers - Type Theory and Formal Proof An Introduction - New - N555z

$102.13

View Details
Type Theory and Formal Proof: An Introduction by Rob Nederpelt (English) Hardcov
Type Theory and Formal Proof: An Introduction by Rob Nederpelt (English) Hardcov

$121.77

View Details
Introduction to Mathematical Logic and Type Theory : To Truth Through Proof, ...
Introduction to Mathematical Logic and Type Theory : To Truth Through Proof, ...

$159.17

View Details
Type Theory and Formal Proof : An Introduction, Hardcover by Nederpelt, Rob; ...
Type Theory and Formal Proof : An Introduction, Hardcover by Nederpelt, Rob; ...

$99.74

View Details
Rob Nederpelt Herman Geuvers Type Theory and Formal Proof (Hardback) (UK IMPORT)
Rob Nederpelt Herman Geuvers Type Theory and Formal Proof (Hardback) (UK IMPORT)

$128.00

View Details
Type Theory and Formal Proof : An Introduction, Hardcover by Nederpelt, Rob; ...
Type Theory and Formal Proof : An Introduction, Hardcover by Nederpelt, Rob; ...

$102.36

View Details
Introduction to Mathematical Logic and Type Theory : To Truth Through Proof, ...
Introduction to Mathematical Logic and Type Theory : To Truth Through Proof, ...

$154.83

View Details
Type Theory and Formal Proof: An Introduction by Rob Nederpelt [Hardback]
Type Theory and Formal Proof: An Introduction by Rob Nederpelt [Hardback]

$71.61

View Details
Type Theory and Formal Proof: An Introduction by Rob Nederpelt
Type Theory and Formal Proof: An Introduction by Rob Nederpelt

$65.77

View Details
Herman Geuvers - Type Theory and Formal Proof   An Introduction - New - S9000z
Herman Geuvers - Type Theory and Formal Proof An Introduction - New - S9000z

$120.34

View Details