An Investigation on the Logical Structure of Mathematics (XIII): A Method of Programming of Proofs in Mathematics for Electronic Computing Machines (Q3262779)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An Investigation on the Logical Structure of Mathematics (XIII): A Method of Programming of Proofs in Mathematics for Electronic Computing Machines |
scientific article |
Statements
An Investigation on the Logical Structure of Mathematics (XIII): A Method of Programming of Proofs in Mathematics for Electronic Computing Machines (English)
0 references
1960
0 references
philosophy and foundations of mathematics
0 references