Logic : form and function : the mechanization of deductive reasoning


J. A. Robinson
Bok Språk ikke angitt 1979
Utgitt
Edinburgh : University Press , 1979
Omfang
312 s.
Emner
ISBN
0852243057

Bibliotek som har denne