Author :
Davis, Martin
Author Statement :
Martin Davis
Collation :
xxv, 248 P
Addition :
,
Title :
Computability & unsolvability
LC Class :
511
LC Number :
.3
LC CutterNumber :
D 263 C
Publication Year :
1982
Birth-Death :
1928-
Publication :
Dover publications
Subject :
Recursive functions,Unsolvability (mathematical logic),computable functions
DocumentNumber :
1419
ISBNN :
, 1 , 7179 , 2-1
Link To Document :
http://lib1.kashanu.ac.ir//dL/search/default.aspx?Term=478&Field=0&DTC=2
All Rights Reserved To Payam Mashregh Company
