Eintrag weiter verarbeiten
Goal-directed proof theory
Gespeichert in:
Personen und Körperschaften: | , |
---|---|
Titel: | Goal-directed proof theory/ by Dov M. Gabbay and Nicola Olivetti |
veröffentlicht: |
Dordrecht [u.a.]:
Kluwer,
c 2000
|
Umfang: | X, 266 S; 25cm |
Teil von: | Applied logic series ; 21 |
ISBN: |
0792364732 9780792364733 |
Format: | Buch |
Quelle: | Verbunddaten SWB |
Anmerkungen: | Bibliography S. [255] - 263 |
Sprache: | Englisch |