An Investigation on the Logical Structure of Mathematics (XIII): A Method of Programming of Proofs in Mathematics for Electronic Computing Machines

Nagoya Mathematical Journal - United Kingdom
doi 10.1017/s0027763000007650
Full Text
Abstract

Available in full text

Categories
Mathematics
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

A Logical Expansion in Mathematics

Bulletin of the American Mathematical Society
1932English

An Investigation on the Logical Structure of Mathematics (VI): Consistent V-System T(V) (With Corrections to Part (XII))

Nagoya Mathematical Journal
Mathematics
1959English

Definition of Derivative Function: Logical Error in Mathematics

Academic Journal of Applied Mathematical Sciences
2019English

Logical-Mathematics Intellegence in Early Childhood

International Journal of Social Science and Humanity
2019English

Proofs and Fundamentals: A First Course in Abstract Mathematics

Choice Reviews Online
2000English

Mathematics: On the Teaching of Secondary Mathematics

The School Review
1907English

Teaching and Learning Guide For: Explanation in Mathematics: Proofs and Practice

Philosophy Compass
Philosophy
2019English

An Investigation of the Mathematics-Vocabulary Knowledge of First-Grade Students

Elementary School Journal
Education
2017English

Silent Method for Mathematics Instruction: An Overview of Teaching Subsets

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy