LEADER 00000nam 2200181 a 4500 001 0446666 003 UkHlHU 007 t 008 002710 1 1970 000 eng 040 UkHlHU 050 4 QA 9 B6 100 1 Bittinger, Marvin L.,|eauthor. 245 10 Logic and proof /|cMarvin L. Bittinger. 260 Reading, Mass. :|bAddison-Wesley,|c1970. 300 129p. 650 0 Logic, Symbolic and mathematical. 650 0 Proof theory. 947 No ISBN assigned
|