No title
RICHARDS,TOM
CLAUSAL FORM LOGIC: AN INTRODUCTION TO THE LOGIC OF COMPUTER REASONING - SYDNEY AW 1989 - 359 - INTERNATIONAL COMPUTER SCIENCE SERIES .
BR-965
KBCS 41.25
901
CLAUSAL FORM LOGIC: AN INTRODUCTION TO THE LOGIC OF COMPUTER REASONING - SYDNEY AW 1989 - 359 - INTERNATIONAL COMPUTER SCIENCE SERIES .
BR-965
KBCS 41.25
901