Schindler, Ralf.
Ways of proof theory [electronic resource] / Ralf Schindler (ed.). - Frankfurt ; New Brunswick : Ontos Verlag, 2010. - v, 486 p. : ill. - Ontos mathematical logic ; v. 2 .
Includes bibliographical references.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Proof theory.
Electronic books.
QA9.54 / .S35 2010eb
Ways of proof theory [electronic resource] / Ralf Schindler (ed.). - Frankfurt ; New Brunswick : Ontos Verlag, 2010. - v, 486 p. : ill. - Ontos mathematical logic ; v. 2 .
Includes bibliographical references.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Proof theory.
Electronic books.
QA9.54 / .S35 2010eb