Normal view
MARC view
RICHARDS,TOM (Personal Name)
Machine generated authority record
Work cat.: (OSt)42451: RICHARDS,TOM, CLAUSAL FORM LOGIC: AN INTRODUCTION TO THE LOGIC OF COMPUTER REASONING, 1989