Logika pierwszego rzędu (Q89440)

From wikibase-docker
Jump to navigation Jump to search
No description defined
  • First-order logic
  • First-order predicate calculus
  • First-order predicate logic
  • FOL
  • Logic, first-order
  • Logika I rzędu
  • Pierwszego rzędu, logika
  • Predicate calculus, first-order
  • Predicate logic, first-order
  • Rachunek kwantyfikatorów pierwszego rzędu
  • Rachunek predykatów pierwszego rzędu
edit
Language Label Description Also known as
English
Logika pierwszego rzędu
No description defined
  • First-order logic
  • First-order predicate calculus
  • First-order predicate logic
  • FOL
  • Logic, first-order
  • Logika I rzędu
  • Pierwszego rzędu, logika
  • Predicate calculus, first-order
  • Predicate logic, first-order
  • Rachunek kwantyfikatorów pierwszego rzędu
  • Rachunek predykatów pierwszego rzędu

Statements

a0000003801690
0 references
0 references
P71461T54157
0 references