Displaying similar documents to “The ...-Consistency of Ramified Analysis.”

On Definitions.

Rolf Schock (1965)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

A liberated version of S5.

R. Meyer, H. Leblanc, K. Lambert (1969)

Archiv für mathematische Logik und Grundlagenforschung

Similarity: