Logic, proof, and mathematical structures
By: Edward Norman and Murray Barr.
Contributors: Barr, Murray.
Edition: Preliminary ed.
Publisher: E. Norman and M. Barr
Published: 1984
Place of publication: [S.l.]
Language: eng
Number of pages: 176
Subjects: Logic, Symbolic and mathematical.; Proof theory.
Notes: "MHF 2300."

Includes index.