მათემატიკური ლოგიკა: განსხვავება გადახედვებს შორის

მათემატიკური ლოგიკისგან გამოყოფენ ქვედარგებს: [[მოდელების თეორია]], [[დამტკიცების თეორია]], [[რეკურსიის თეორია]].

 

* [[ბულის ალგებრა]]

* [[ინტუიციონისტური ლოგიკა]]

* [[პირველი რიგის თეორია]]

* [[პრედიკატული ლოგიკა]]

 

{{მათემატიკა}}

{{მათემატიკის დარგები}}

 

 

[[ar:منطق رياضي]]