Completeness of the functional calculus of first order
type: Item
instance of: scholarly article
title: Completeness of the functional calculus of first order
zbMATH Open document ID: 0067.25004
DOI: 10.1007/BF02124774
author: Juliusz Reichbach
published in: Studia Logica
publication date: 1955-01-01T00:00:00Z
zbMATH DE Number: 3114388
zbMATH Keywords: philosophy and foundations of mathematics
MaRDI profile type: Publication
cites work: Q5806806
cites work: The completeness of the first-order functional calculus
cites work: A proof of the completeness theorem of Grödel
cites work: A proof of the Skolem-Löwenheim Theorem
cites work: Über den auf Alternative und Negation aufgebauten Aussagenkalkül
description: scientific article; zbMATH DE number 3114388