๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The Text of the English Xylographic Poem on the Seven Virtues

โœ Scribed by T. O. Mabbott

Book ID
124905643
Publisher
John Hopkins University Press
Year
1950
Weight
156 KB
Volume
65
Category
Article
ISSN
0149-6611

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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