Repository | Directory | Profile

Hugues Leblanc
in English
XA simplified strong completeness proof for Q C =
I-IV
in: Sektionen I-IV, Freiburg-Basel-Wien : Herder

On chances and estimated chances of being true
1959
Revue philosophique de Louvain 57/54
