A theory of formal deducibility.
Series: Notre Dame mathematical lectures ;; no. 6
Publisher: Volk und Buch Verlag
Published: 1950
Place of publication: Notre Dame
Language: eng; ger
Number of pages: 126
Subjects: Logic, Symbolic and mathematical.
Notes: Bibliography: p. 123-126.