Author

Bornat Richard

Catalogue records by Bornat Richard in the PakCat Union Catalogue.

3 catalogue records

Catalogue records

Programming from first principles Bornat, Richard 1987 Proof and disproof in formal logic: an introduction for programmers Bornat, Richard 2005 Understanding And WrittingCompliers Bornat Richard 1979