Thumbnail for Computability and logic

Computability and logic

Boolos, George1974

Books

Find it!
Remove Computability and logic from your current list Save Computability and logic to your current list

Total copies: 1

Availability by location

Place reservation

Record details

Main title:

Computability and logic / George Boolos, Richard Jeffrey.

Author:

Boolos, GeorgeJeffrey, Richard Carl

Imprint:

London : Cambridge University Press, 1974.

Collation:

x,262p. : ill. ; 24cm.

Notes:

Includes index.

ISBN:

9780521204026

Dewey class:

511.3511.3160

Local class:

511.3

Language:

English

Subject:

Computable functionsRecursive functionsLogic, Symbolic and mathematical

BRN:

2189208

Bookmark link:

https://camden.spydus.co.uk/cgi-bin/spydus.exe/ENQ/WPAC/BIBENQ?SETLVL=&BRN=2189208

Find it!
Remove Computability and logic from your current list Save Computability and logic to your current list

Total copies: 1

Availability by location

Place reservation