Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Proof Theory
Home
Publications
Proof Theory
Proof Theory
KS
Kurt Schütte
Kurt Schütte
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1977
book
Published by
Springer Science and Business Media LLC
https://doi.org/10.1007/978-3-642-66473-1
Abstract
No abstract available
Keywords
BEWEISTHEORIE
FINITE
CALCULUS
FUNCTION
ORDINAL
PREDICATE LOGIC
PROOF
PROOF THEORY
TYPE THEORY
Cited by 241 articles