San Mateo, CA: 1990. Printed cloth. pp 223, index. Fine copy.The Morgan Kaufmann Series in Computer Architecture and Design. This first edition still in print (2018). ; Octavo 1558601368

New York: Dover Publications, 1982. Card covers. pp 248, index. Fine copy. Note: light parcel, any default shipping may be reduced.; Octavo 0486614719

Boca Raton, FL: CRC Press, 1994. Glossy boards, octavo, pp 312. Soft bruise to upper outer corners, else fine, no owner names. In print (2017) at USD 243.00. 0849390508

Burlington, Ontario: Hayes Publishing, 1984. White boards illustrated in colour. pp 59. Colour illustrations. Errata slip inside front cover. Soil spot in corner of rear cover, VG clean and unworn otherwise. "The VIC-20 (in Germany, VC-20; in Japan, VIC-1001) is an 8-bit home computer that was sold by Commodore Business Machines. The VIC-20 was announced in 1980 roughly three years after Commodore's first personal computer, the PET. The VIC-20 was the first computer of any description to sell one million units. The VIC-20 has been described as "one of the first anti-spectatorial, non-esoteric computers by design...no longer relegated to hobbyist/enthusiasts or those with money, the computer Commodore developed was the computer of the future."; Octavo 0886250463

Boston: Kluwer Academic Publishers, 1997. Glossy printed boards. pp 183, index. Fine copy. In print (2018) at USD 180.00. ; Octavo 0792399226

New York: Wiley, c1991. Second printing. Grey printed cloth. pp 336, index. Fine copy. In print (2018) at CAD 294.00.; Octavo 0471621870

Cambridge, MA: MIT Press, 1989. Black cloth. pp (xiv), 189. Index. Fine in fine jacket. "Pollock describes an exciting theory of rationality and its partial implementation in OSCAR, a computer system who descendents will literally be persons." - jacket.

Berlin: Springer, 1997. Card covers. pp 319. Fine copy. "This volume contains the latest accounts of research supported by the European Commission in human-computer interaction and presented at a workshop in October 1995." In printi (2018) at USD 129.00. ; Octavo 3540620672

London / San Mateo, CA: Pitman / Morgan Kaufmann, 1988. Card covers. 139 pp. Sticker scar to rear cover, else VG. Research Notes in Artificial Intelligence. ; Tall octavo 0273087924

New York: Academic Press, 1983. Black cloth. pp 333, index. Fine copy. ; Octavo 0120498200

Amsterdam: North- Hollland Publishing Company, 1965. Yellow cloth. pp x, 337. Index. Mild cover soiling, VG jacketless copy otherwise. ; Octavo

Berlin: De Gruyter, 1997. Glossy printed boards. pp 280, index. Fine copy. ; Octavo 3110150727

Amsterdam: North-Holland Publishing Company, 1952. Yellow card covers. pp (8), (125). Fine copy. Yellow jacket has one corner nick; spine slightly sunned and darkened, VG otherwise. "The present text is notable for its comprehensive treatment of quantification in many-valued logic. This topic has received only very sketchy treatment in the past." Rosser was an American mathematical logician who contributed the Church-Rosser theorem to the study of computer science. An historically important text and scarce in this original editon. ; Octavo

Baltimore: Johns Hopkins University Press, 1989. Card covers. pp 642, index. Fine copy. 1.5 kg parcel. ; Octavo 0801837391

New York: Academic Press, 1988. Octavo, card covers. Fine copy, no owner marks. 0127630708

San Diego: Academic Press, 1997. Printed cloth. pp 358, index. Minor rubbing to front cover, else fine. ; Octavo 0125264305

London: Collins, 1988. Blue boards. Text paper lightly tanned, else fine. Dust jacket has a one inch tear to upper corner of front panel, else fine, flap price intact. An early computer thriller - Wall Street is hit with a massive computer fraud and millions vanish daily.; Octavo

Cambridge, MA: MIT Press, 1991. Tall octavo, black cloth. pp 690. indexed. Fine copy, no owner marks, in a very near fine jacket. 2 kg parcel. 0262031760