✦ LIBER ✦

Elements of Mathematical Logicby P. S. Novikov

✍ Scribed by Review by: Andrzej Mostowski

Book ID: 124963078
Publisher: Association for Symbolic Logic
Year: 1965
Tongue: English
Weight: 362 KB
Volume: 30
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2269625

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Elements of Mathematical Logicby Jan Łuk

Elements of Mathematical Logicby Jan Łukasiewicz; Olgierd Wojtasiewicz

✍ Review by: Alfons Borgers 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 210 KB

Elements of Mathematical Logicby G. Krei

Elements of Mathematical Logicby G. Kreisel; J. L. Krivine

✍ Review by: C. C. Chang 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 205 KB

The Development of Mathematical Logicby

The Development of Mathematical Logicby P. H. Nidditch

✍ Review by: G. HasenJaeger 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 198 KB

Foundations of Mathematics and Mathemati

Foundations of Mathematics and Mathematical Logicby S. A. Ánovskaá

✍ Review by: George L. Kline 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 421 KB

The mathematical model of Wildhaber-Novi

The mathematical model of Wildhaber-Novikov gears applicable to finite element stress analysis

✍ C.-B. Tsay; Z.H. Fong; S. Tao 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 618 KB

The mathematical model and results of tooth contact analysis (TCA) of the Wildhaber-Novikov (W-N) gear are given in Ref. [I] [F. L. Litvin and C.-B. Tsay, Trans. ASME, J. mech. Trans. Auto. Des. 556-564 (December l9SS)]. A finite element method (FEM), using the SAP IV package, is employed to the W-N

The Axiom of choice in Quine's New Found

The Axiom of choice in Quine's New Foundations for Mathematical Logicby Ernst P. Specker

✍ Review by: J. Barkley Rosser 📂 Article 📅 1954 🏛 Association for Symbolic Logic 🌐 English ⚖ 115 KB