1. Completeness, compactness, and undecidability : an introduction to mathematical logic
پدیدآورنده: Manaster, Alfred B.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Predicate calculus
رده :
QA
9
.
M294
2. Completeness, compactness, and undecidability: an introduction to mathematical logic
پدیدآورنده: Manaster, Alfred B 8391-
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Logic, symbolic and mathematical,، Predicate calculus
رده :
QA
9
.
M294
