მათემატიკური ლოგიკა

მათემატიკური ლოგიკა, იხ. სიმბოლური ლოგიკა.