Shelfclass_id | 4.B.3 |
Sortkey | GABBAY, DOV M |
Authors | Dov M. Gabbay, Nicola Olivetti |
Title | Goal-Directed Proof Theory |
Publisher | Kluwer Academic Press |
Year | 2000 |
Languages | eng |
Isbn | 0792364732 |
Series | Applied logic series |
Volume | 21 |
Description | (hb: alk. paper) x, 266 p. ill. 25 cm |
Record date | 20060824 |
Location | Boston |
Keywords | Proof theory |