Goal-directed proof theory
Goal-directed proof theory
D.M. Gabbay
,
N. Olivetti
,
Nicola Olivetti
,
Dov M. Gabbay
Details
OL Work ID
OL18345449W
Subjects
Proof theory
Find this book
Open Library
