Algebra of proofs
Work detail
Bookitis Pick
AO
Image source: Open LibraryM. E. SzaboK. J. BarwiseD. KaplanH.J. Keisler2 editions
This page groups all known editions belonging to the same underlying work.
Overview
Shared work-level identity and catalog context.
4 credited authorsSearch language english
Contributors
People credited with this work in the active catalog.
- Open Author
M. E. Szabo
- Open Author
K. J. Barwise
- Open Author
D. Kaplan
- Open Author
H.J. Keisler
Editions
Publication-specific versions linked to this work only.