Colloque sur les fondements des mathématiques, les machines mathématiques et leurs applications (1962 ; Tihany, Hongrie) — 1 œuvres