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

RecordNumber

478