Author Statement

George Boolos Richard Jeffrey

Collation

x, 262 P.: Figs, Table

Addition

,

Title

Computability and logic

LC Class

511

LC Number

.3

LC CutterNumber

B 724 C

تاريخ ورود اطلاعات

1382/01/01

Publication Year

1974

Publication

Cambridge university press

Subject

Computable functions,Logic, symbolic and mathematical

DocumentNumber

4525

ISBNN

, 1 , 2685 , 2-1

RecordNumber

1424