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

[შეუმოწმებელი ვერსია][შეუმოწმებელი ვერსია]
შიგთავსი ამოიშალა შიგთავსი დაემატა
ბოტის დამატება: ky:Математикалык логика
ხაზი 9:
* [[პირველი რიგის თეორია]]
* [[პრედიკატული ლოგიკა]]
 
== ლიტერატურა ==
* Shawn Hedman, ''A first course in logic: an introduction to model theory, proof theory, computability, and complexity'', Oxford University Press, 2004, ISBN 0-19-852981-3.
 
== რესურსები ინტერნეტში ==
* [http://settheory.net/world Logic and set theory around the world]
* [http://home.swipnet.se/~w-33552/logic/home/index.htm Polyvalued logic]
* [http://www.fecundity.com/logic/ forall x: an introduction to formal logic]
 
{{მათემატიკა}}