Outline of a mathematical theory of computation /

Saved in:
Bibliographic Details
Main Author: Scott, Dana
Format: Book
Language:English
Published: Oxford (45 Banbury Rd, Oxford) : Oxford University Computing Laboratory, Programming Research Group, 1970.
Series:Technical monographs (Oxford University Computing Laboratory. Programming Research Group) ; PRG-2.
Subjects:
LEADER 01315nam a2200289 a 4500
001 c000171876
003 CARM
005 19980910000000.0
008 710112s1970 enka 000 0 eng d
015 |a B7100870 
019 1 |a 3575441  |z 44828664  |5 LACONCORD2021 
020 |a 0902928015  |c £0.50 
035 |a (OCoLC)400955  |5 LACONCORD2021 
040 |a BNB  |b eng  |c BNB  |d NU 
050 0 0 |a QA76.7 
082 0 4 |a 001.6/424/0151  |2 18 
100 1 |a Scott, Dana. 
245 1 0 |a Outline of a mathematical theory of computation /  |c by Dana Scott. 
260 |a Oxford (45 Banbury Rd, Oxford) :  |b Oxford University Computing Laboratory, Programming Research Group,  |c 1970. 
300 |a [5], 24 p. :  |b ill. ;  |c 21cm. 
490 1 |a Technical monographs / Oxford University Computing Laboratory. Programming Research Group ;  |v PRG-2. 
500 |a Computer systems. Programming. Languages. Mathematical models (BNB/PRECIS) 
650 0 |a Programming languages (Electronic computers) 
830 0 |a Technical monographs (Oxford University Computing Laboratory. Programming Research Group) ;  |v PRG-2. 
852 8 |b CARM  |h A2:AI06A0  |i B04638  |p 0207292  |f BK 
999 f f |i bca44da8-c839-5dea-b3a9-a563fa655911  |s a641a468-b4b3-5faa-949b-4cf32ec6253c 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e B04638  |f A2:AI06A0  |h Other scheme  |i book  |m 0207292