- Logika intuicjonistyczna
Entry Hasło przedmiotowe ogólne (rzeczowe)
001 - NUMER KONTROLNY REKORDU
- Pole kontrolne: 173380
003 - IDENTYFIKATOR NUMERU KONTROLNEGO
- Pole kontrolne: KR 7
005 - DATA OSTATNIEJ MODYFIKACJI REKORDU
- Pole kontrolne: 20250320131736.0
008 - DANE KONTROLNE (POLA STAŁEJ DŁUGOŚCI)
- pole stałej długości: 140529n||azznnbabn |a ana |
010 ## - NUMER KONTROLNY BIBLIOTEKI KONGRESU
- Numer kontrolny LC: p 2014029199
035 ## - NUMER SYSTEMOWY REKORDU
- Numer systemowy: a28393697
040 ## - INSTYTUCJA SPORZĄDZAJĄCA REKORD
- Instytucja, która przygotowała dane do khw: WA N
- Subject heading/thesaurus conventions: DBN
- Instytucja, która wprowadziła rekord: WA N
072 ## - KOD KATEGORII TEMATYCZNYCH
- Subject category code: 20
150 ## - HASŁO REKORDU - NAZWA POSPOLITA
- Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Logika intuicjonistyczna
450 ## - TROP ZOB. TEŻ - NAZWA POSPOLITA
- Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Intuicjonistyczna, logika
450 ## - TROP ZOB. TEŻ - NAZWA POSPOLITA
- Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Intuitionistic logic
450 ## - TROP ZOB. TEŻ - NAZWA POSPOLITA
- Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Logika konstruktywna
550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA
- Podpole kontrolne: g
- Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Logika
550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA
- Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Algebra Heytinga
550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA
- Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Intuicjonizm matematyczny
550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA
- Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Logika pośrednia
550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA
- Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Matematyka konstruktywna
550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA
- Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Semantyka Kripkego
682 ## - DELETED HEADING INFORMATION
- Objaśnienie: zatwierdzone