TY  - BOOK
AU  - Post, E.L
TI  - The two valued iterative sytems of mathematical logic
N1  - B31 H1
ER  -