Widok standardowy Widok MARC

Rachunek kwantyfikatorów. (Hasło przedmiotowe)

Forma preferowana: Rachunek kwantyfikatorów.
Forma odrzucona:
  • Calcul des prédicats [f]
  • Predicate calculus [c]
  • Rachunek funkcyjny.
  • Rachunek predykatów.
Zobacz też:

RAMEAU