Widok standardowy
Widok MARC
Rachunek kwantyfikatorów. (Hasło przedmiotowe)
Forma odrzucona:
- Calcul des prédicats [f]
- Predicate calculus [c]
- Rachunek funkcyjny.
- Rachunek predykatów.
Zobacz też:
- Hasło szersze: Logika symboliczna i matematyczna.
- Predykat (logika).
- Hasło węższe: Logika pierwszego rzędu.
- Hasło węższe: Kwantyfikatory.
- Hasło węższe: Sekwenty Gentzena.
RAMEAU