Couverture : Open Library
Résumé
This monograph develops techniques for equational reasoning in higher-order logic.
Détails de l'édition
- ISBN-13
- 9780817640323
- ISBN-10
- 0817640320
- EAN
- 9780817640323
- Éditeur
- Birkhäuser (Boston)
- Date de publication
- 1 janvier 1998
- Langue
- eng
- Pages
- 186
- 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 BnF Catalogue général · 23 juillet 2026
- publication_date BnF Catalogue général · 23 juillet 2026
- subtitle BnF Catalogue général · 23 juillet 2026
- summary Open Library · 1 août 2026