| Shelfclass_id | 4.B.3 |
| Sortkey | GOUBAULT-LARRECQ, JEAN |
| Authors | Jean Goubalt-Larrecq, JEAN GOUBAULT-LARRECQ, Ian Machie |
| Title | Proof Theory and Automated Deduction |
| Publisher | Kluwer Academic Publishers |
| Year | 1997 |
| Languages | eng |
| Isbn | 1402003684 |
| Series | Applied logic series |
| Volume | 6 |
| Record date | 20071023 |
| Location | Boston |