1. Computability theory: An introduction to recursion theory
پدیدآورنده: / Enderton H.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
2. Elements of set theory
پدیدآورنده: / H.B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Set Theory,Aggregates
رده :
QA248
.
E5
1977
3. Mathematical logic; an introduction to model theory
پدیدآورنده: / A. H. Lightstone edited by H. B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, symbolic and mathematical,Model theory
رده :
511
.
3
L724
