Logic and proof

Xehetasun bibliografikoak
Egile nagusia:	Bittinger, Marvin L.
Formatua:	Liburua
Hizkuntza:	English
Argitaratua:	Reading, Mass. Addison-Wesley [c1970]
Gaiak:	Logic > Programmed instruction.