✦ LIBER ✦

Children's construction of the logic of arithmetic

✍ Scribed by Kathleen M. Cauley

Book ID: 113293316
Publisher: Elsevier Science
Year: 1992
Tongue: English
Weight: 552 KB
Volume: 13
Category: Article
ISSN: 0193-3973
DOI: 10.1016/0193-3973(92)90006-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On arithmetic complexity of certain cons

On arithmetic complexity of certain constructive logics

✍ V. E. Plisko 📂 Article 📅 1992 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 655 KB

The logical nature of arithmetic

✍ Th. Skolem 📂 Article 📅 1955 🏛 Springer Netherlands 🌐 English ⚖ 542 KB

The Interpretability Logic of Peano Arit

The Interpretability Logic of Peano Arithmetic

✍ Alessandro Berarducci 📂 Article 📅 1990 🏛 Association for Symbolic Logic 🌐 English ⚖ 627 KB

Arithmetic complexity of the predicate l

Arithmetic complexity of the predicate logics of certain complete arithmetic theories

✍ Valery Plisko 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 137 KB

It is proved in this paper that the predicate logic of each complete constructive arithmetic theory T having the existential property is T 1 -complete. In this connection, the techniques of a uniform partial truth deÿnition for intuitionistic arithmetic theories is used. The main theorem is applied

R65-54 The Logic of Computer Arithmetic

✍ Hammel, D. 📂 Article 📅 1965 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 297 KB

Kant’s Theory of Arithmetic: A Construct

Kant’s Theory of Arithmetic: A Constructive Approach?

✍ Kristina Engelhard; Peter Mittelstaedt 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 327 KB