RecordNumber

96120

Author

Boolos, George

Title

Computability an​d logic

Author Statement

George Boolos, John P. Burgess, Richard C. Jeffrey

Edition

5th ed.

Publication

Cambridge : : Cambridge University

Publication Year

c2007

Collation

xi, 350 p. : ill.

Index

Includes index

Subject

Computable functions , Recursive functions , Logic, Symbolic an​d mathematical

ADDED ENTRIES

AU Burgess, John P., 1948- , AU Jeffrey, Richard C , TI

Main Class

511

Sub Class

.3

Cutter no

B724c

Date

2007

ISBN

978-0-521-70146-4

واردكننده اطلاعات

ربابه صمدي علي نيا