Handbook of Mathematical...
David S. Gunderson
Buy new from $62.93
eBook from $35.73
|
Cut Elimination in Categories
K. Dosen
Buy new from $159.69
eBook from $47.70
|
Axiomatic Thinking I
Fernando Ferreira (Editor),
Reinhard Kahle (Editor)
Buy new from $93.92
eBook from $26.70
|
Syllogistic Logic and...
Prof. Paolo Mancosu,
Prof. Massimo Mugnai
Buy new from $71.83
eBook from $52.00
|
An Introduction to Proof...
Daniel J Madden,
Jason A Aubrey
Buy new from $96.14
eBook from $90.00
|
A Transition to Proof: An...
Neil R Nicholson
Buy new from $69.50
eBook from $32.45
|
Mathematical Analysis and...
David S G Stirling
Buy new from $155.07
eBook from $70.00
|
Taking the "Oof!" Out of...
Alexandr Draganov
Buy new from $58.23
eBook from $34.10
|
Sequents and Trees: An...
Andrzej Indrzejczak
Buy new from $51.65
eBook from $16.50
|
Explanation and Proof in...
Gila Hanna (Editor),
Hans Niels Jahnke (Editor)
Buy new from $159.69
eBook from $47.70
|
Conceptions and Consequences...
Kristen N. Bieda (Editor),
AnnaMarie Conner (Editor)
Buy new from $161.68
eBook from $50.70
|
Teaching and Learning Proof...
Despina A. Stylianou (Editor),
Maria L. Blanton (Editor)
Buy new from $64.77
eBook from $37.93
|
Proofs 101: An Introduction...
Joseph Kirtland
Buy new from $62.92
eBook from $36.85
|
Proof, Logic and Formalization
Michael Detlefsen (Editor)
Buy new from $65.75
eBook from $38.50
|
Proof Theory for Fuzzy Logics
George Metcalfe,
Nicola Olivetti
Buy new from $122.11
eBook from $35.70
|
Tracking Reason
Azzouni
Buy new from $57.55
eBook from $20.80
|
Reductive Logic and Proof...
David J Pym,
Eike Ritter
Buy new from $164.48
eBook from $100.10
|
Adapting Proofs-As-Programs:...
Iman Poernomo,
John N Crossley
Buy new from $54.02
eBook from $47.70
|
Thirty Five Years of...
F D Kamareddine (Editor)
Buy new from $103.32
eBook from $29.70
|
Proof Theory
Vincent F Hendricks (Editor),
Stig Andur Pedersen (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
|
Concepts of Proof in...
Dieter Probst (Editor),
Peter Schuster (Editor)
Buy new from $195.24
eBook from $193.99
|
Logic for Concurrency and...
R J de Queiroz (Editor)
Buy new from $74.99
eBook from $29.70
|
Proof Theory in Computer...
Reinhard Kahle (Editor),
Peter Schroeder-Heister (Editor)
Buy new from $51.64
eBook from $16.50
|
