𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Schröder's anticipation of the simple theory of types

✍ Scribed by Alonzo Church

Publisher
Springer
Year
1976
Tongue
English
Weight
221 KB
Volume
10
Category
Article
ISSN
1876-2514

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Holey Schröder designs of type 2nu1
Holey Schröder designs of type 2nu1
✍ F. E. Bennett; Ruizhong Wei; Hantao Zhang 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 283 KB

## A holey Schröder design of type h n ] of order m with ni missing subquasigroups (holes) of order hi, 1 ≤ i ≤ k, which are disjoint and spanning, that is, 1 ≤i≤k nihi = m. In this article, we first consider the existence of HSD(2 n u 1 ) for 1 ≤ u ≤ 4 and show that these HSDs exist if and only i

The seven virtues of simple type theory
The seven virtues of simple type theory
✍ William M. Farmer 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 243 KB

Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys the virtues of simple type theory and attempts to show that simple type theory is an attractive alternative to first-order

The generating equations of Rayleigh—Sch
The generating equations of Rayleigh—Schrödinger perturbation theory
✍ Carlos E. Soliverez; Eduardo Gagliano 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 361 KB

A set of non-lmear cqustlons LS given winch solves the stationary Schrodmgcr equalion III terms of a known subproblem. An ItemlIve solution of the equations ylclds the degenerate version of Raylegh-SchrBdmgcr perturbation theory, but olhcr approxunatlon schemes, as well as a purely numerIca solullon