[1]
真理値
式
原子論理式
論理演算子
古典論理
非古典論理
命題論理

命題論理
[2]
論理演算
記号
再帰的に定義
バッカス・ナウア記法
演算子の優先順位
述語論理

一階述語論理
議論領域
原子論理式
存在量化
原子論理式
論理結合子
量化子
形式体系
命題論理
一階述語論理
[3]
閉論理式

自由変数
量化子
属性

妥当
解釈
算術
決定可能集合

形式言語
英
英
プログラミング言語
定理
数理論理学
[4]
[5]
[6]
[7]
[8]
形式言語
オッカムの剃刀
[9]
[10]
[11]
^
^
^
^
^
^
ISBN 978-0-521-58713-6
^
ISBN 978-0-444-86388-1
^
ISBN 978-0-19-850048-3
^
ISBN 978-0-12-238452-3
^
^
参考文献

Allen, Layman E. (1965), “Toward Autotelic Learning of Mathematical Logic by the WFF 'N PROOF Games”, Mathematical Learning: Report of a Conference Sponsored by the Committee on Intellective Processes Research of the Social Science Research Council, Monographs of the Society for Research in Child Development 30 (1): 29?41 

Cambridge University Press
ISBN
978-0-521-00758-0
ISBN
978-0-12-238452-3
ISBN
0-226-28085-3
ISBN
978-0-631-20692-7
Hofstadter, Douglas
Godel, Escher, Bach: An Eternal Golden Braid
ISBN
978-0-14-005579-5
Kleene, Stephen Cole
Dover Publications
ISBN
978-0-486-42533-7
MR
A Concise Introduction to Mathematical Logic
New York
doi
ISBN
978-1-4419-1220-6
http://www.springerlink.com/content/978-1-4419-1220-6/
関連項目

原子論理式
外部リンク

“He's Positively Logical”
http://www.umich.edu/~newsinfo/MT/02/Spr02/mt9s02.html