On the Proofs of Arithmetical Completeness for Interpretability Logic | Institute for Logic, Language and Computation

Mathematical Logic and Foundations (ML) Series (1988-1998)

ML-1991-03:: Domenico Zambella On the Proofs of Arithmetical Completeness for Interpretability Logic
1.Full Text.

Back