Proofs and computations di Schwichtenberg, Helmut 1942-

Table of contents only

The review of symbolic logic.

Available for UP System via Cambridge Core.

Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics

The theory of models proceedings

Formal systems and recursive functions proceedings

The Journal of symbolic logic.

Available for University of the Philippines - Diliman via JSTOR. Click here to access