TY  - MON
TI  - Introduction to metamathematics
CY  - Amsterdam
PB  - North-Holland Publishing Co.
KW  - Matemática
PB  - North-Holland Publishing Co.
PB  - P. Noordhoff N. V.
PP  - Amsterdam
PP  - Groningen
SP  - X, 550 p.
ER  -