TY  - BOOK
AU  - Meyer, Burnett
TI  - An introduction to axiomatic systems
SN  - 0-87150-174-0
U1  - 511.3 INT 1974 
PY  - 1974///
CY  - Boston
PB  - Prindle, Weber & Schmidt
N1  - includes index
ER  -