Goal-directed proof theory


by Dov M. Gabbay and Nicola Olivetti
Bok Engelsk 2000
Utgitt
Dordrecht : Kluwer , 2000
Omfang
X, 266 s. : fig.
Emner
Dewey
ISBN
0792364732

Bibliotek som har denne