- Biblioteka cyfrowa URK
- Repozytorium URK
- e-zasoby URK
- IBUK LIBRA PWN*
*Wymagane posiadanie konta bibliotecznego - Legimi*
*Wymagane posiadanie konta bibliotecznego - Zamów skan
- FAQ
- Regulamin Biblioteki
- Godziny otwarcia Biblioteki
- Kontakt
Normal view
MARC view
Logika matematyczna (Hasło przedmiotowe ogólne (rzeczowe))
Used for/see from:
- Logic, mathematical
- Matematyczna, logika
- Mathematical logic
See also:
- Broader heading: Matematyka
- Arytmetyka drugiego rzędu
- Arytmetyka Presburgera
- Definiowalność (logika matematyczna)
- Eliminacja kwantyfikatorów
- Filozofia logiki
- Funkcja boolowska
- Językoznawstwo matematyczne
- Kwantyfikator
- Liczby naturalne
- Logicyzm
- Logika
- Logika formalna
- Matematyka odwrotna
- Matryca logiczna (matematyka)
- Metamatematyka
- Niesprzeczność
- Podstawy matematyki
- Programowanie w logice (informatyka)
- Semantyka Kripkego
- System przepisujący
- Twierdzenia Gödla
- Twierdzenie Craiga
- Narrower heading: Logika algebraiczna
- Narrower heading: Logika infinitarna
- Narrower heading: Rachunek kombinatorów
- Narrower heading: Rachunek lambda
- Narrower heading: Teoria dowodu (matematyka)
- Narrower heading: Teoria modeli (matematyka)
- Narrower heading: Teoria obliczalności
- Narrower heading: Teoria typów
temat
zatwierdzone