Type Theory and Formal Proof
Professor Rob Nederpelt,
Professor Herman Geuvers
Buy from £77.27
eBook from £61.53
|
The Little Typer
Daniel P Friedman,
David Thrane Christiansen
Buy from £33.29
|
An Introduction to...
P B Andrews
Buy from £26.59
eBook from £21.85
|
Models of Sharing Graphs: A...
Masahito Hasegawa
Buy from £20.71
eBook from £13.50
|
A Modern Perspective on Type...
F.D. Kamareddine,
T. Laan
Buy from £114.95
|
A Modern Perspective on Type...
F D Kamareddine,
T Laan
Buy from £120.13
eBook from £31.67
|
Extensional Constructs in...
Martin Hofmann
Buy from £130.32
|
Type Logical Grammar:...
G V Morrill
Buy from £6.41
|
History and Philosophy of...
Giovanni Sommaruga
Buy from £138.01
eBook from £39.03
|
Types for Proofs and Programs...
Thorsten Altenkirch (Editor),
Wolfgang Naraschewski (Editor)
Buy from £49.52
|
Type-Theoretical Grammar
Aarne Ranta
Buy from £74.82
|
Types for Proofs and Programs...
Eduardo Gimenez (Editor),
Christine Paulin-Mohring (Editor)
Buy from £44.89
|
Categorical Logic and Type...
Bart Jacobs,
B Jacobs
Buy from £318.41
eBook from £105.54
|
Isomorphisms of Types: From ?...
Roberto Dicosmo
Buy from £26.18
|
Semantische Paradoxien,...
Rosemarie Rheinwald
Buy from £110.57
eBook from £125.99
|
Type Theory and Functional...
Simon Thompson
Buy from £117.39
|
The Theory of Logical Types,
Irving M Copi
Buy from £10.23
|
Materialism and Sensations
James W Cornman
Buy from £3.85
|
Mind Underlies Spacetime: An...
Daniel A Cowan
Buy from £15.14
|
A transfinite type theory...
P. B. Andrews
Buy from £28.64
|
Most Excellent Differences:...
Thomas C Thompson
Buy from £8.65
|
Reanimation in Philosophy
Palmer Talbutt
Buy from £11.47
|
