An outline of mathematical logic: fundamental results and notions explained with all details/
by Andrzej Grzegorczyk.
- Dordrecht, Holland ; Boston: D. Reidel, [1974].
- x, 596 p.: ill.; 23 cm.
Translation of Zarys logiki matematycznej. Includes indexes.