✦ LIBER ✦

A Local Two-Sorted Theory of Classes and Sets: MacLane's Problem and Mostowski's Program

✍ Scribed by V. K. Zakharov; A. V. Mikhalev

Book ID: 111595723
Publisher: Springer US
Year: 2004
Tongue: English
Weight: 214 KB
Volume: 123
Category: Article
ISSN: 1573-8795
DOI: 10.1023/b:joth.0000036654.35847.40

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficacy of a Children's Feeding Program

Efficacy of a Children's Feeding Program and Problems with Nutrition Assessment in a Third World Setting

✍ S.A. Jones; J. Lee 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 61 KB

Law, legislation, and local minima: Solv

Law, legislation, and local minima: Solving a problem in Hayek’s theory of common law judging, with historical examples

✍ Jason Kuznicki 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 190 KB

Geophysical Data Analysis (Understanding

Geophysical Data Analysis (Understanding Inverse Problem Theory and Practice) || Appendix C: GRAVINV: A Simple Program for Two-Dimensional Gravity Inversion by Ridge Regression

✍ Meju, Max A. 📂 Article 📅 1994 🏛 Society of Exploration Geophysicists 🌐 English ⚖ 455 KB

This Publication Is Designed To Provide A Practical Understanding Of Methods Of Parameter Estimation And Uncertainty Analysis. The Practical Problems Covered Range From Simple Processing Of Time- And Space-series Data To Inversion Of Potential Field, Seismic, Electrical, And Electromagnetic Data. Th

Breakages at common fragile sites set bo

Breakages at common fragile sites set boundaries of amplified regions in two leukemia cell lines K562 – Molecular characterization of FRA2H and localization of a new CFS FRA2S

✍ Franca Pelliccia; Nazario Bosco; Angela Rocchi 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 555 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics 15th Aerospace Sciences Meeting - Los Angeles,CA,U.S.A. (24 January 1977 - 26 January 1977)] 15th Aerospace Sciences Meeting - Feedback control for pursuit-evasion problems between two spacecraftbased on differential dynamic programming

✍ ANDERSON, G. 📂 Article 📅 1977 🏛 American Institute of Aeronautics and Astronautics ⚖ 447 KB

A general grapho-analytical method for s

A general grapho-analytical method for solving the two-dimensional problem of the hydrodynamic theory of lubrication and an approximate method of solving the contact-hydrodynamic problem : (in Russian) D. S. Kodnir, Trudi Kuibyshevsk. Aviats. Inst., (12) (1961) 333–354; (Ref. Zb. Mekb.). Source: Appl. Mech. Rev., 17 (1) (1964) 86

📂 Article 📅 1964 🏛 Elsevier Science 🌐 English ⚖ 111 KB