Truth, Proof and Infinity: A Theory of Constructive Reasoning (Synthese Library)
by
P. Fletcher
Hardcover
details (
USA
).
ISBN: 978-0-7923-5262-4
ISBN-10: 0-7923-5262-9
Springer
· 1998