TY  - BOOK
AU  - Post, Emil L.
TI  - Two-valued iterative systems of mathematical logic
U1  - 164 
PY  - 1941///
CY  - Princeton
PB  - Princeton University
KW  - Mathematical logic
ER  -