Computer programming and formal systems
著者
書誌事項
Computer programming and formal systems
(Studies in logic and the foundations of mathematics)
North-Holland Publishing, 1963
大学図書館所蔵 件 / 全71件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Some imprints covered by label: New York : Humanities Press
Includes bibliographies