(1996'dan beri)Mathematical Logic ile Philosophical Logic
Matematik
Cebir
Normal
Özet
Mathematical logic mantıksal çıkarımların matematik formalizmini yaparken İLE philosophical logic mantığın felsefi temellerini inceler
Formül
First-order logic