Adapting Proofs-As-Programs:...
Iman Poernomo,
John N Crossley
Buy new from $47.46
eBook from $47.70
|
Reductive Logic and Proof...
David J Pym,
Eike Ritter
Buy new from $122.39
eBook from $105.99
|
Thirty Five Years of...
F D Kamareddine (Editor)
Buy new from $60.02
eBook from $29.70
|
Logic for Concurrency and...
R J de Queiroz (Editor)
Buy new from $103.32
eBook from $29.70
|
Collected Papers of Stig...
Ghita Holmström-Hintikka (Editor),
Sten Lindström (Editor)
Buy new from $103.32
eBook from $29.70
|
Proof Theory in Computer...
Reinhard Kahle (Editor),
Peter Schroeder-Heister (Editor)
Buy new from $51.65
eBook from $16.50
|
The Moment of Proof
Donald C Benson
Buy new from $31.19
eBook from $27.99
|
Proof Theory
Vincent F Hendricks (Editor),
Stig Andur Pedersen (Editor)
Buy new from $103.32
eBook from $29.70
|
Goal-Directed Proof Theory
Dov M Gabbay,
N Olivetti
Buy new from $103.32
eBook from $29.70
|
Proofs and Fundamentals: A...
Ethan D Bloch
Buy new from $68.61
eBook from $16.50
|
Cut Elimination in Categories
K Dosen
Buy new from $159.69
eBook from $47.70
|
Handbook of Proof Theory:...
S R Buss (Editor)
Buy new from $197.46
eBook from $235.00
|
An Introduction to...
Peter Eccles,
Eccles Peter J
Buy new from $149.92
eBook from $40.80
|
Numbers and Proofs
Reg Allenby
Buy new from $77.71
eBook from $64.95
|
The Logic of Provability
George S Boolos,
Boolos George S
Buy new from $36.64
eBook from $30.40
|
Proof, Logic and Formalization
Michael Detlefsen (Editor)
Buy new from $178.49
eBook from $41.25
|
Beweisen
Bruno Strecker
Buy new from $145.15
eBook from $154.00
|
