Some Theorems About the Sentential Calculi of Lewis and Heyting.

J. C. C. McKinsey Alfred Tarski

Published in: J. Symb. Log. (1948)

Keyphrases

set theory
multiscale
ordered sets
real world
spatial relations
digital topology
vague concepts