Media type: E-Article Title: Reviews Contributor: BRIM, LUBOŠ Published: Oxford University Press (OUP), 1993 Published in: Journal of Logic and Computation, 3 (1993) 4, Seite 441-442 Language: English DOI: 10.1093/logcom/3.4.441 ISSN: 0955-792X; 1465-363X Keywords: Logic ; Hardware and Architecture ; Arts and Humanities (miscellaneous) ; Software ; Theoretical Computer Science Origination: Footnote: