Normal view
MARC view
- Logika intuicjonistyczna.
Logika intuicjonistyczna. (Hasło przedmiotowe ogólne (rzeczowe))
Used for/see from:
- Logique intuitionniste [f]
See also:
- Broader heading: Logika wielowartościowa.
- Broader heading: Intuicjonizm matematyczny.
RAMEAU
Oksfordzki słownik filozoficzny / Simon Blackburn. - Warszawa, 1998 (System logiczny stworzony przez A. Heytinga w celu formalizacji sposobów rozumowania dozwolonych przez intuicjonizm matematyczny)