Computability and logic /

Guardat en:
Dades bibliogràfiques
Autor principal: Cohen, Daniel E.
Format: Llibre
Idioma:English
Publicat: Chichester, West Sussex, England : New York : E. Horwood ; Halsted Press, 1987.
Col·lecció:Ellis Horwood series in mathematics and its applications
Matèries:
LEADER 01275cam a2200349 a 4500
001 c000289982
003 CARM
005 20090109120915.0
008 870220s1987 enk b 001 0 eng d
010 |a 87004088 
019 1 |a 5194428  |5 LACONCORD2021 
020 |a 0470215496 (Halsted : pbk.) 
020 |a 0745800343 :  |c £36.50 
020 |a 0470208473 (Halsted) 
035 |a (OCoLC)15283759  |5 LACONCORD2021 
040 |a LC  |b eng  |c LC  |d VCAV 
050 0 0 |a QA9.59  |b .C64 1987 
050 1 4 |a QA9.59  |b .C64 1987 
082 0 4 |a 511.3  |2 19 
100 1 |a Cohen, Daniel E. 
245 1 0 |a Computability and logic /  |c Daniel E. Cohen. 
260 |a Chichester, West Sussex, England :  |b E. Horwood ;  |a New York :  |b Halsted Press,  |c 1987. 
300 |a 243 p. ;  |c 25 cm. 
490 1 |a Mathematics and its applications 
500 |a Includes index. 
504 |a Bibliography: p. [234]-236. 
650 0 |a Computable functions. 
650 0 |a Logic, Symbolic and mathematical. 
830 0 |a Ellis Horwood series in mathematics and its applications 
852 8 |b CARM  |h A3:AB27F0  |i C11610  |p 0521470  |f BK 
999 f f |i 11f0a5d7-bf9e-5c16-8e64-e83da67da77d  |s 93d18ddf-2779-5686-be62-ba1fbd05b259 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C11610  |f A3:AB27F0  |h Other scheme  |i book  |m 0521470