عنوان
پدید آورنده
موضوع
رده
QA 9 .F56
QA
9
.
F56
کتابخانه
محل استقرار
m34920
English
Fitting, Melvin
2491-
Intuitionistic logic, model theory and forcing
Amsterdam
North-Holland Pub. Co.
1969
191 p. 23 cm
Studies in logic and the foundation of mathematics
Bibliography: p. )188(-189
، Model theory
، Axiomatic set theory
، Forcing )Model theory(
QA
9
.
F56
AU
TI
SE
تموجود نیس
