Hobbes, Nussbaum, and All Seven of the Virtues
โ Scribed by Deirdre McCloskey
- Book ID
- 110950963
- Publisher
- John Wiley and Sons
- Year
- 2006
- Tongue
- English
- Weight
- 97 KB
- Volume
- 37
- Category
- Article
- ISSN
- 0012-155X
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
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
Sail / Jack Vance -- Peeping Tom / Judith Merril -- The invisible man murder case / Henry Slesar -- Galley slave / Isaac Asimov -- Divine madness / Roger Zelazny -- The Midas plague / Frederik Pohl -- The man who ate the world / Frederik Pohl -- Margin of profit / Poul Anderson -- The hook, the eye