Computability and logic/

Main Author: Boolos, George S.
Other Authors: Jeffrey, Richard C.
Format: Book
Language:English
Published: Cambridge: Cambridge University Press, 1974
Subjects:
LEADER 00735nam a2200217 a 4500
001 1242879
005 20171111232647.0
008 070919s1974 gr er 001 0 eng d
020 |a 052120402X 
040 |a GrAtEKP.Mathimatiko  |b gre  |e AACR2 
082 0 |2 22  |a 511.3 
100 1 |a Boolos, George S. 
245 1 0 |a Computability and logic/  |c George Boolos, Richard Jeffrey 
260 |a Cambridge:  |b Cambridge University Press,  |c 1974 
300 |a x, 262 p. ;  |c 23 cm. 
500 |a Presents principal fundamental results about logic 
504 |a Includes index 
650 0 |a Computable functions 
650 0 |a Recursive functions 
700 1 |a Jeffrey, Richard C. 
952 |a GrAtEKP  |b 59cd05e96c5ad134460d9d70  |c 998a  |d 945l  |e 511.3 BooG c 1974  |t 1  |x m  |z Books