✦ LIBER ✦

V. L. Evachev Methods of the algebra of logic in mathematical physics

✍ Scribed by I. I. Lyashko; A. S. Galitsyn

Book ID: 112478047
Publisher: Springer
Year: 1976
Tongue: English
Weight: 300 KB
Volume: 27
Category: Article
ISSN: 0041-5995
DOI: 10.1007/bf01085602

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

[Lecture Notes in Physics] Mathematical

[Lecture Notes in Physics] Mathematical Problems in Theoretical Physics Volume 80 || The von Neumann algebra of a foliation

✍ Dell'Antonio, G.; Doplicher, S.; Jona-Lasinio, G. 📂 Article 📅 1978 🏛 Springer Berlin Heidelberg ⚖ 267 KB

The role of mathematical methods in phys

The role of mathematical methods in physical theories

✍ Eugene P. Wigner 📂 Article 📅 1950 🏛 Elsevier Science 🌐 English ⚖ 189 KB

Encyclopedia of Mathematical Physics ||

Encyclopedia of Mathematical Physics || Computational Methods in General Relativity: The Theory

✍ Choptuik, M.W. 📂 Article 📅 2006 🏛 Elsevier ⚖ 145 KB

Algebras and Coalgebras || Algebraic and

Algebras and Coalgebras || Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

✍ Backhouse, Roland; Crole, Roy; Gibbons, Jeremy 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 166 KB

Program Construction Is About Turning Specifications Of Computer Software Into Implementations. Recent Research Aimed At Improving The Process Of Program Construction Exploits Insights From Abstract Algebraic Tools Such As Lattice Theory, Fixpoint Calculus, Universal Algebra, Category Theory, And Al