عنوان
پدید آورنده
موضوع
رده
QA 9 .S48 1991
QA
9
.
S48
1991
کتابخانه
محل استقرار
English
Foundations without foundationalism : a case for second-order logic
Oxford, New York
Clarendon Press, Oxford University Press
1991
xx, 277 p. ; 25 cm
Oxford logic guides, 71
Oxford science publications
Includes bibliographical references )p. )263(-272( and index
Stewart Shapiro
1
، Logic, Symbolic and mathematical
QA
9
.
S48
1991
CA
511
.
3
1591-
Shapiro, Stewart
AU
TI Second-order logic
TI
SE
