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
Description
Item Description:Electronic resource.
Physical Description:1 online resource (vii, 290 pages, 1 unnumbered pages)
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references (page [291]).
ISBN:9783540368755 (electronic bk.)
3540368752 (electronic bk.)
ISSN:0075-8434 ;