3 options
Proof Theory and Intuitionistic Systems / by Bruno Scarpellini.
Math/Physics/Astronomy Library QA3 .L28 v.1-999 470,523,830,849:2nd ed. v.1000-1722,1762,1781,1799-2099,2100-2192-2218 2219-2223-2258,2260-2271,2273-2274-2277,2279-2281,2283-2289,2291,2293-2294,2296,2298-2299,2300-2311,2313-2366,2368-2379,2382 2385,2389
Mixed Availability
LIBRA QA3 .L28 Scattered vols.
Mixed Availability
- Format:
- Book
- Author/Creator:
- Scarpellini, Bruno, author.
- Series:
- Lecture Notes in Mathematics, 0075-8434 ; 212.
- Lecture Notes in Mathematics, 0075-8434 ; 212
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Mathematics.
- Mathematical Logic and Foundations.
- Mathematics, general.
- Local Subjects:
- Mathematical Logic and Foundations.
- Mathematics, general.
- Physical Description:
- 1 online resource (VIII, 292 pages).
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1971.
- System Details:
- text file PDF
- Contents:
- and preliminaries
- A review of Gentzen's second consistency proof
- The intuitionistic system of number theory
- A formally intuitionistic system as strong as classical analysis
- Transfinite induction with respect to recursive wellorderings without function parameters
- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters
- A system containing barinduction with respect to decidable predicates
- Harrop formulas
- The Markov principle
- Relative consistency proof of ZTN with respect to ZTi/IN*.
- Other Format:
- Printed edition:
- ISBN:
- 9783540368755
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.