Entry Hasło przedmiotowe ogólne (rzeczowe)

Number of records used in: 25

001 - NUMER KONTROLNY REKORDU

• control field: 130659

003 - IDENTYFIKATOR NUMERU KONTROLNEGO

• control field: KR 197

005 - DATA OSTATNIEJ MODYFIKACJI REKORDU

• control field: 20251126040955.0

008 - DANE KONTROLNE (POLA STAŁEJ DŁUGOŚCI)

• pole stałej długości: 050120n||azznnbabn |a ana |

010 ## - NUMER KONTROLNY BIBLIOTEKI KONGRESU

• Numer kontrolny LC: p 2004303781

035 ## - NUMER SYSTEMOWY REKORDU

• Numer systemowy: a10038498

035 ## - NUMER SYSTEMOWY REKORDU

• Numer systemowy: (PL)a0000001003849

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 matematyczna

450 ## - TROP ZOB. TEŻ - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Logic, mathematical

450 ## - TROP ZOB. TEŻ - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Matematyczna, logika

450 ## - TROP ZOB. TEŻ - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Mathematical logic

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Podpole kontrolne: g
• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Matematyka

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Arytmetyka drugiego rzędu

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Arytmetyka Presburgera

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Definiowalność (logika matematyczna)

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Eliminacja kwantyfikatorów

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Filozofia logiki

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Funkcja boolowska

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Językoznawstwo matematyczne

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Kwantyfikator

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Liczby naturalne

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Logicyzm

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• 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: Logika formalna

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Matematyka odwrotna

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Matryca logiczna (matematyka)

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Metamatematyka

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Niesprzeczność

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Podstawy matematyki

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Programowanie w logice (informatyka)

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Semantyka Kripkego

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: System przepisujący

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Twierdzenia Gödla

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Twierdzenie Craiga

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Podpole kontrolne: h
• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Logika algebraiczna

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Podpole kontrolne: h
• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Logika infinitarna

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Podpole kontrolne: h
• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Rachunek kombinatorów

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Podpole kontrolne: h
• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Rachunek lambda

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Podpole kontrolne: h
• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Teoria dowodu (matematyka)

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Podpole kontrolne: h
• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Teoria modeli (matematyka)

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Podpole kontrolne: h
• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Teoria obliczalności

550 ## - TROP "ZOB. TEŻ" - NAZWA POSPOLITA

• Podpole kontrolne: h
• Nazwa pospolita lub nazwa geograficzna jako element wprowadzający: Teoria typów

682 ## - DELETED HEADING INFORMATION

• Objaśnienie: zatwierdzone