عنوان
پدید آورنده
موضوع
رده
QA3,.L28,no.,34
QA3
,.
L28
,
no
.,
34
کتابخانه
محل استقرار
(Berlin)
9783540064916
IR
ebook28423
انگلیسی
IR
Metamathematical investigation of intuitionistic arithmetic and analysi
[Electronic Resource]
/ A.S. Troelstra (editor)
Berlin ;New York
: Springer,
, 1973.
xvii, 486 p.
: ill. ; 24 cm.
(Lecture notes in mathematics,0075-8434
; 344)
e
Includes bibliographical references (p. [462]-475) and index.
Lecture notes in mathematics (Springer-Verlag)
344
Intuitionistic mathematics.
Proof theory.
Model theory.
QA3
,.
L28
,
no
.,
34
Troelstra, A. S
ایران
QA3,.L28,no.,34
3540064915.pdf
0
old catalog
e
BL
1
a
Y
