Couverture : Open Library
Goal-Directed Proof Theory (Applied Logic Series Volume 21)
Résumé
This book is about goal-directed proof-theoretical formulations of non-classical logics.
Détails de l'édition
- ISBN-13
- 9780792364733
- ISBN-10
- 0792364732
- EAN
- 9780792364733
- Éditeur
- Kluwer academic (Dordrecht)
- Date de publication
- 1 janvier 2000
- Langue
- eng
- Pages
- 276
- Dimensions
- 25 cm
Provenance des données
- dimensions BnF Catalogue général · 23 juillet 2026
- language BnF Catalogue général · 23 juillet 2026
- page_count Open Library · 1 août 2026
- publication_date BnF Catalogue général · 23 juillet 2026
- summary Open Library · 1 août 2026
- title Open Library · 1 août 2026