Applied proof theory
proof interpretations and their use in mathematics
Kohlenbach, U.
creator
text
bibliography
gw
Berlin
Springer
c2008
2008
monographic
eng
xix, 532 p.
U. Kohlenbach.
Includes bibliographical references and index.
Online version restricted to NUS staff and students only through NUSNET.
Mode of access: World Wide Web.
System requirements: Internet connectivity; World Wide Web browser.
Proof theory
Automatic theorem proving
QA9.54 .K64 2008eb
Springer monographs in mathematics
(OCoLC)213479420.
9783540775324
9783540775331 (electronic bk.)
3540775331 (electronic bk.)
Online version restricted to NUS staff and students only through NUSNET.
N$T
080815
20130523125246.0
10705