𝔖 Bobbio Scriptorium

✦ LIBER ✦

Mathematics as Logical Syntax--A Method to Formalize the Language of a Physical Theoryby Martin Strauss

✍ Scribed by Review by: Evert Beth

Book ID: 124940191
Publisher: Association for Symbolic Logic
Year: 1939
Tongue: English
Weight: 314 KB
Volume: 4
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2266215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mathematics as logical syntax — a method

Mathematics as logical syntax — a method to formalize the language of a physical theory

✍ Martin Strauss 📂 Article 📅 1937-1938 🏛 Springer 🌐 English ⚖ 381 KB

Mathematics as Logical Syntax: A Method

Mathematics as Logical Syntax: A Method to Formalize the Language of a Physical Theory

✍ Martin Strauss 📂 Article 📅 1937-1938 🏛 Springer 🌐 English ⚖ 539 KB

Methods of statistical physics as a new

Methods of statistical physics as a new approach to the mathematical theory of epidemics

✍ A. R. Rotenberg 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 456 KB

Mathematical Methods of the Theory of St

Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ω+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki

✍ Review by: Steven S. Muchnick 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB