In 1961 he also published the monograph Theory of formal systems published by Princeton University Press. Kreisel, reviewing the book says that it gives:
Sa 1961 din siya nai-publish na ang monograp teorya ng pormal na sistemang inilathala ng Princeton University Press. Kreisel, suriin ang mga libro na nagsasabi na ito ay nagbibigay ng: