Filters








2 Hits in 18.4 sec

Page 9534 of Mathematical Reviews Vol. , Issue 2003m [page]

2003 Mathematical Reviews  
Computable languages, abstract machines and formal logic. Springer-Verlag London, Ltd., London, 2002. xii+351 pp. $54.95.  ...  See also 11209. 68 COMPUTER SCIENCE 2003m:68001 68-01 03-01 Parkes, Alan P. (4-LANC-DMC; Lancaster) * Introduction to languages, machines and logic.  ... 

Page 1592 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
(Summary) 2003)j:81039 81P68 (68Q05) Parkes, Alan P. * Introduction to languages, machines and logic. Computable languages, abstract machines and formal logic.  ...  Springer-Verlag London, Ltd., London, 2002. xii+351 pp. ISBN 1-85233-464-9 (Publisher’s description) 2003m:68001 68-01 (03-01) Parkes, Duncan W. (with Thomas, Richard M.)  ...