Gödel Theorems for Non-Constructive Logics
- 1 September 1937
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 2 (3) , 129-137
- https://doi.org/10.2307/2266293
Abstract
Gödel Theorems for Non-Constructive Logics - Volume 2 Issue 3 - Barkley RosserKeywords
This publication has 3 references indexed in Scilit:
- General recursive functions of natural numbersMathematische Annalen, 1936
- Ein Gültigkeitskriterium für die Sätze der klassischen MathematikMonatshefte für Mathematik, 1935
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931