✦ LIBER ✦

A Formalization of Essenin-Volpin's Proof Theoretical Studies by Means of Nonstandard Analysis

✍ Scribed by James R. Geiser

Book ID: 124972559
Publisher: Association for Symbolic Logic
Year: 1974
Tongue: English
Weight: 798 KB
Volume: 39
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272346

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Heavy reductions by means of extrolling:

Heavy reductions by means of extrolling: A theoretical analysis including some material aspects

✍ Ulf Ståhlberg; Anders Göransson 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 673 KB

Theoretical analysis of6He +12C scatteri

Theoretical analysis of6He +12C scattering by means of the model of microscopic optical potential

✍ V. K. Lukyanov; E. V. Zemlyanaya; K. V. Lukyanov; D. N. Kadrev; A. N. Antonov; M 📂 Article 📅 2011 🏛 Allerton Press Inc 🌐 English ⚖ 233 KB

Mass flow studies of a lignite power pla

Mass flow studies of a lignite power plant by means of instrumental neutron activation analysis

✍ I. Karanatsios; P. Englert 📂 Article 📅 1985 🏛 Springer 🌐 English ⚖ 344 KB

Theoretical studies on the human arteria

Theoretical studies on the human arterial pressure and flow pulse by means of a non-uniform tube model

✍ R.D. Bauer; Th. Pasch; E. Wetterer 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 884 KB

Rigid wheel studies by means of dimensio

Rigid wheel studies by means of dimensional analysis: Vincent, E.T. (et al) U.S.A.A.T.A.C., L.L.L. Report No. 79, 1963

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

Conformational analysis and diastereotop

Conformational analysis and diastereotopic assignments in the series of selenium-containing heterocycles by means of 77Se-1H spin-spin coupling constants: a combined theoretical and experimental study

✍ Yury Yu. Rusakov; Leonid B. Krivdin; Vladimir A. Potapov; Maxim V. Penzik; Svetl 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 319 KB 👁 1 views

## Abstract A combined theoretical and experimental study on the stereochemical behavior of ^77^Se‐^1^H spin‐spin coupling constants has been performed at the second‐order polarization propagator approach level together with heteronuclear multiple‐bond correlation technique in the series of seleniu