Normal view MARC view ISBD view

Computability and logic

Boolos, George S.

Computability and logic George S. Boolos and Richard C. Jeffrey - 3rd ed. - Cambridge Cambridge University Press c1989 - xi, 304p.; 24cm.

ISBN: 0521389232

Subjects--Topical Terms:
Computable Functions
Recursive Functions
Symbolic Logic
Mathematical Logic

Dewey Class. No.: 511.3 / BOO

Place hold
Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard)