NATIONAL BIBLIOGRAPHY NUMBER
Number
oldebook9543
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
eng
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2008.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
TOPICAL NAME USED AS SUBJECT
Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
PERSONAL NAME - PRIMARY RESPONSIBILITY
Troelstra, Anne S. ;
old catalog
