Logic and proof

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Bittinger, Marvin L.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Reading, Mass. Addison-Wesley [c1970]
Θέματα:	Logic > Programmed instruction.