✦ LIBER ✦

The theory of constructive types

✍ Scribed by Chwistek L.

Book ID: 127454404
Year: 1925
Tongue: English
Weight: 3 MB
Edition: U.Cracow
Category: Library

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Problem in the Theory of Constructive

A Problem in the Theory of Constructive Order Types

✍ Robin O. Gandy and Robert I. Soare 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 361 KB

An Unsolved Problem in the Theory of Con

An Unsolved Problem in the Theory of Constructive Order Types

✍ Alan G. Hamilton 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 285 KB

Rational Homotopy Type: A Constructive S

Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure

✍ Wu Wen-Tsun 📂 Library 📅 1987 🏛 Springer 🌐 English ⚖ 1 MB

The Constructive Hilbert Program and the

The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory

✍ Michael Rathjen 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 297 KB

The construction of an integral represen

The construction of an integral representation of the solution of the equilibrium equations of Timoshenko-type theory for shells of complex geometry

✍ V.N. Paimushin; I.N. Sidorov 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 412 KB

A method of constructing an integral representation of the solution of the equilibrium equations of Timoshenko-type theory for thin or shallow isotropic shells of complex geometry is proposed. The method involves the following steps: writing the equilibrium equations for a fundamental solution of th

[The Western Ontario Series in Philosoph

[The Western Ontario Series in Philosophy of Science] Foundational Theories of Classical and Constructive Mathematics Volume 76 || From Sets to Types, to Categories, to Sets

✍ Sommaruga, Giovanni 📂 Article 📅 2011 🏛 Springer Netherlands ⚖ 334 KB