Logic and proof

書誌詳細
第一著者:	Bittinger, Marvin L.
フォーマット:	図書
言語:	English
出版事項:	Reading, Mass. Addison-Wesley [c1970]
主題:	Logic > Programmed instruction.