「導出原理」の版間の差分

→‎参考文献: 任意の命題に対して false を返す推論がゼロ射(ゼロ推論)
m (ボット: 言語間リンク 12 件をウィキデータ上の d:q1051925 に転記)
(→‎参考文献: 任意の命題に対して false を返す推論がゼロ射(ゼロ推論))
 
== 参考文献 ==
* {{cite book | 和書 | title=論理と意味 | author=長尾 真、淵 一博 | series=岩波講座 情報科学 | volume=7 | publisher=岩波書店 | year=1983 | ref=長尾(1983) }}
*J. Alan Robinson. "A Machine-Oriented Logic Based on the Resolution Principle." J. Assoc. Comput. Mach. 12, pp.23-41, 1965.
*Davis Martin. ''The Early History of Automated Deduction''. in ''Handbook of Automated Reasoning'', ''Volume I'', Alan Robinson and Andrei Voronkov(ed), 2001. ISBN 9780444829498.