Logic and proof

Bibliographische Detailangaben
1. Verfasser:	Bittinger, Marvin L.
Format:	Buch
Sprache:	English
Veröffentlicht:	Reading, Mass. Addison-Wesley [c1970]
Schlagworte:	Logic > Programmed instruction.