Normal view MARC view ISBD view

Proof theory and intuitionistic systems

Scarpellini, Bruno

Proof theory and intuitionistic systems - - Berlin Springer-Verlag, 1971 - vii,289 p. 25 cm - NASA TM 84317 : 1983 .

ISBN: 3-540-005541-X0

Subjects--Topical Terms:

Proof theory
Intutionistic mathematics

Universal Decimal Class. No.: 517.1 Sca

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)