Bibliography of Mathematical Logic: Proof Theory Constructive Mathematics

by: J.E. Kister · D. Van Dalen · A.S. Ptroelstra

Hardcover

details (United States).

ISBN: 978-0-387-15524-1

ISBN-10: 0-387-15524-4

Springer-Verlag · 1987