1. Introduction to metamathematics
پدیدآورنده : Kleene, Stephen Cole, 9091-4991
کتابخانه: (طهران)
موضوع : ، Metamathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
8
.
K54
1971
2. The collected papers of Gerhard Gentzen.
پدیدآورنده : Edited by M. E. Szabo
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Metamathematics
رده :
QA9
.
G329
3. Thinking about G?del and Turing
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
4. Undecidable theories
پدیدآورنده : / by Alfred Tarski
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Metamathematics,Logic, Symbolic and mathematical
رده :
E-BOOK
