Toward Mechanical Mathematics

Publisher Website

1 January 1960

book chapter
Published by Springer Nature

p. 244-264
https://doi.org/10.1007/978-3-642-81952-0_15

Abstract

No abstract available

Keywords

MECHANICAL MATHEMATICS

This publication has 6 references indexed in Scilit:

Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
Archive for Mathematical Logic, 1957
A Variant to Turing's Theory of Computing Machines
Journal of the ACM, 1957
An Analysis of a Logical Machine Using Parenthesis-Free Notation
Mathematical Tables and Other Aids to Computation, 1954
The Axiom of Choice in Quine's New Foundations for Mathematical Logic
Proceedings of the National Academy of Sciences, 1953
On the Completeness of Quantification Theory
Proceedings of the National Academy of Sciences, 1952
Untersuchungen ber das logische Schlie en. I
Mathematische Zeitschrift, 1935