A theory of formal deducibility.
Edition: [2d ed.]. --
Series: Notre Dame mathematical lectures -- no. 6
Publisher: Notre Dame University Press
Published: 1966
Place of publication: Notre Dame
Language: eng