RecordNumber

95497

Author

Boolos, George

Title

Computability an​d logic

Author Statement

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

Edition

4th ed.

Publication

Cambridge : Cambridge University

Publication Year

c2002

Collation

xi, 356 p. : ill.

Index

Includes index

Bibliography

p. 348

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

2002

ISBN

978-0-521-00758-0

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

شيرين السادات خليفه سلطاني