Media type: Book Title: Goal-directed proof theory Contributor: Gabbay, Dov M. [Author]; Olivetti, Nicola [Author] Published: Dordrecht [u.a.]: Kluwer, c 2000 Published in: Applied logic series ; 21 Extent: X, 266 S; 25cm Language: English ISBN: 0792364732 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Keywords: Beweistheorie Origination: Footnote: Bibliography S. [255] - 263
Departmental Library DrePunct – open access area Shelf-mark: ST 304 G112 G5 Item ID: 30081259 Status: Loanable
Departmental Library DrePunct – stack Shelf-mark: 2000 8 027490 002 Item ID: 30103374 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order