𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Application of symbolic logic to the design axioms

✍ Scribed by Steven H. Kim; Nam P. Suh

Publisher
Elsevier Science
Year
1985
Tongue
English
Weight
785 KB
Volume
2
Category
Article
ISSN
0736-5845

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The Axiom of Choice in Second-Order Pred
The Axiom of Choice in Second-Order Predicate Logic
✍ Christine Gaßner πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 586 KB

## Abstract The present article deals with the power of the axiom of choice (AC) within the second‐order predicate logic. We investigate the relationship between several variants of AC and some other statements, known as equivalent to AC within the set theory of Zermelo and Fraenkel with atoms, in

An experimental approach to the design o
An experimental approach to the design of cartographic symbols
✍ Richard J. Phillips; Brain Coe; Eiichi Kono; John Knapp; Stephen Barrett; Graham πŸ“‚ Article πŸ“… 1990 πŸ› John Wiley and Sons 🌐 English βš– 801 KB

Graphic designers and an experimental psychologist worked together to improve the design of two map symbols which are frequently confused: the symbols for cuttings and embankments on topographic maps. The problem was analysed in terms of the function of the symbols and their likely cognitive represe