A. G. Hamilton

The professional programmers g

The professional programmers guide to Prolog

1989

A first course in linear algebra, with concurrent examples

1987

Numbers, Sets and Axioms

1982

Logica Para Matematicos

Logica Para Matematicos

1981