Cover Image

Metamathematical investigation of intuitionistic arithmetic and analysis /

Show other versions (1)
Bibliographic Details
Main Author: Troelstra, A. S. (Anne Sjerp)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin ; New York : Springer, 1973.
Series:Lecture notes in mathematics (Springer-Verlag) ; 344.
Subjects:
Intuitionistic mathematics.
Proof theory.
Model theory.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (xvii, 486 pages) : illustrations.
Bibliography:Includes bibliographical references (pages [462]-475) and index.
ISBN:9783540378068 (electronic bk.)
3540378065 (electronic bk.)
ISSN:0075-8434 ;