The Little Prover (The MIT Press)
by:
Daniel P. Friedman
· Carl Eastlund
Paperback
details (
USA
).
ISBN: 978-0-262-52795-8
ISBN-10: 0-262-52795-2
The MIT Press
· 2015
