Widok standardowy
Widok MARC
Logika pierwszego rzędu. (Hasło przedmiotowe)
Forma odrzucona:
- Logique du premier ordre [f]
- First-order logic [c]
- MSC 03B10 (2000).
Zobacz też:
- Hasło szersze: Logika symboliczna i matematyczna.
- Hasło szersze: Rachunek kwantyfikatorów.
RAMEAU