First-order logic

  • 2024-09-08
  • 별칭: 1차 술어 논리, Predicate logic, Predicate calculus

2025 © ak