Proof theory
Author(s)
Bibliographic Information
Proof theory
Dover Publications, 2013
2nd ed
Available at / 12 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies and index
"This dover edition, first publicationed in 2013, is an unabridged republication of the work originally published in 1987 by North-Holland, Amsterdam, as volume 81 in the series studies in logic and the foundations of mathematics. the first edition was published in 1975"--T.p. verso