Cover Image

Proof theory and intuitionistic systems /

Show other versions (1)
Bibliographic Details
Main Author: Scarpellini, Bruno
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, 1971.
Series:Lecture notes in mathematics (Springer-Verlag) ; 212.
Subjects:
Intuitionistic mathematics.
Proof theory.
Intuitionnisme (Mathématiques)
Nombres, Théorie des.
Beweistheorie.
Intuitionistische Logik.
Zahlentheorie.
Electronic books.
Online Access:Connect to the full text of this electronic book
Search Result 1
Cover Image
by Scarpellini, Bruno
Published 1971
Book
Show all versions (2)