RecordNumber
:
45972
LC Class
:
QA
LC Number
:
9.46
LC CutterNumber
:
.I57
Title
:
Intenstional mathematics
Author Statement
:
edited by Stewart Shapiro
Publication
:
North-Holland
Publication Year
:
1985
Collation
:
230 p. ill. 24 cm
Series
:
Studies in logic and the foundations of mathematics
Subject
:
Modality (Logic) , Constructive mathematics , Intuitionistic mathematics
ADDED ENTRIES
:
Shapiro, Stewart, ,
DocumentNumber
:
55000
Index
:
Includes index
Link To Document :
https://library.iut.ac.ir/dL/search/default.aspx?Term=45972&Field=0&DTC=100
All Rights Reserved To Payam Mashregh Company
