A variant of the proof of the completeness of the first order functional calculus
Jerzy Słupecki, Witold A. PogorzeilskiVolume:
12
Year:
1961
Language:
english
Pages:
6
Journal:
Studia Logica
DOI:
10.1007/bf02126825
File:
PDF, 273 KB
english, 1961