1. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
K45
1996
2. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic data processing - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
L8
1989
3. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
L8
1989