Auf unserer Webseite werden neben den technisch erforderlichen Cookies noch Cookies zur statistischen Auswertung gesetzt. Sie können die Website auch ohne diese Cookies nutzen. Durch Klicken auf „Ich stimme zu“ erklären Sie sich einverstanden, dass wir Cookies zu Analyse-Zwecken setzen. Sie können Ihre Cookie-Einstellungen hier einsehen und ändern.
On weak completeness of intuitionistic predicate logic
Anmelden
Um Merklisten nutzen zu können, müssen Sie sich zunächst anmelden.
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
1961
Enthält: ein Exemplar des Technical Report 3 (27.1.1961) ( Applied Mathematics and Statistics Laboratories, Stanford University, Stanford Calif. 1961) mit dem Artikel "On weak completeness of intuitionistic predicate logic" sowie den Artikeln "Note on completeness and definability" und "Analysis of Beth's semantic construction of intuitionistic logic"
