11 results
An Investigation on the Logical Structure of Mathematics (XIII)*): A Method of Programming of Proofs in Mathematics for Electronic Computing Machines
-
- Journal:
- Nagoya Mathematical Journal / Volume 16 / February 1960
- Published online by Cambridge University Press:
- 22 January 2016, pp. 195-203
- Print publication:
- February 1960
-
- Article
-
- You have access
- Export citation
An Investigation on the Logical Structure of Mathematics (VI)0): Consistent V-System T(V) (With Corrections to Part (XII))
-
- Journal:
- Nagoya Mathematical Journal / Volume 14 / February 1959
- Published online by Cambridge University Press:
- 22 January 2016, pp. 95-107
- Print publication:
- February 1959
-
- Article
-
- You have access
- Export citation
An Investigation on the Logical Structure of Mathematics (VIII):*: Consistency of the Natural-Number Theory T1(N)
-
- Journal:
- Nagoya Mathematical Journal / Volume 14 / February 1959
- Published online by Cambridge University Press:
- 22 January 2016, pp. 129-158
- Print publication:
- February 1959
-
- Article
-
- You have access
- Export citation
An Investigation on the Logical Structure of Mathematics (VII)1): Set-Theoretical Contradictions
-
- Journal:
- Nagoya Mathematical Journal / Volume 14 / February 1959
- Published online by Cambridge University Press:
- 22 January 2016, pp. 109-127
- Print publication:
- February 1959
-
- Article
-
- You have access
- Export citation
An investigation on the logical structure of mathematics (V).1 Contradictions of Russell's type
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-407
- Print publication:
- December 1958
-
- Article
- Export citation
An Investigation on the Logical Structure of Mathematics (III)0): Fundamental Deductions
-
- Journal:
- Nagoya Mathematical Journal / Volume 13 / June 1958
- Published online by Cambridge University Press:
- 22 January 2016, pp. 21-52
- Print publication:
- June 1958
-
- Article
-
- You have access
- Export citation
An Investigation on the Logical Structure of Mathematics (IV)0): Compendium for Deductions
-
- Journal:
- Nagoya Mathematical Journal / Volume 13 / June 1958
- Published online by Cambridge University Press:
- 22 January 2016, pp. 123-133
- Print publication:
- June 1958
-
- Article
-
- You have access
- Export citation
A. Heyting. Espace de Hilbert et intuitionnisme. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 59–63. - Paul Bernays, H. Hermes, A. Heyting, Ingebrigt Johansson, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 64.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 228-229
- Print publication:
- June 1958
-
- Article
- Export citation
A. Heyting. Intuitionism. An introduction. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1956, VIII + 133 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-371
- Print publication:
- December 1956
-
- Article
- Export citation
Intuitionistische Untersuchungen der formalistischen Logik
-
- Journal:
- Nagoya Mathematical Journal / Volume 2 / February 1951
- Published online by Cambridge University Press:
- 22 January 2016, pp. 35-47
- Print publication:
- February 1951
-
- Article
-
- You have access
- Export citation
Über die Klassenzahlen algebraischer Zahlkörper
-
- Journal:
- Nagoya Mathematical Journal / Volume 1 / June 1950
- Published online by Cambridge University Press:
- 22 January 2016, pp. 1-10
- Print publication:
- June 1950
-
- Article
-
- You have access
- Export citation