მათემატიკური ლოგიკა: განსხვავება გადახედვებს შორის
| [შეუმოწმებელი ვერსია] | [შეუმოწმებელი ვერსია] |
შიგთავსი ამოიშალა შიგთავსი დაემატა
მ ბოტის დამატება: ro:Logică matematică |
მ ბოტის დამატება: ur:ریاضیاتی منطق; cosmetic changes |
||
ხაზი 3:
მათემატიკური ლოგიკისგან გამოყოფენ ქვედარგებს: [[მოდელების თეორია]], [[დამტკიცების თეორია]], [[რეკურსიის თეორია]].
== იხილეთ ასევე ==
* [[ბულის ალგებრა]]
* [[ინტუიციონისტური ლოგიკა]]
* [[ლოგიკა]]
* [[პირველი რიგის თეორია]]
* [[პრედიკატული ლოგიკა]]
ხაზი 61:
[[tr:Matematiksel mantık]]
[[uk:Математична логіка]]
[[ur:ریاضیاتی منطق]]
[[zh:数理逻辑]]
[[zh-yue:數學邏輯]]
| |||