On the Metamathematics of Weak Theories | Institute for Logic, Language and Computation

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

ML-1991-02:: Alessandro Berarducci, Rineke Verbrugge On the Metamathematics of Weak Theories
1.Full Text.

Back