Goal-directed proof theory

Dov M Gabbay, Nicola Olivetti

Research output: Book/Report › Book

Original language	English
Place of Publication	Dordrecht ; Boston
Publisher	Kluwer Academic
ISBN (Print)	792364732
Publication status	Published - 2000

Cite this