Displaying similar documents to “Combinatory logic and the ω-rule”

Time conditional propositions

Jan Štěpán (1988)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity: