TY  - BOOK
AU  - Weyl Herman
TI  - The Ghost of modality
U1  - 511.3 
KW  - Mathematical logic
N1  - Reprinted from Philosophical Essays
ER  -