Normal view
MARC view
Logika symboliczna i matematyczna. (Nazwa pospolita)
Used in
0 records
Used for/see from:
- Logika formalna.
- Logika matematyczna.
- Logika symboliczna.
- Logika uniwersalna.
- Logique mathématique [f]
- Logic, Symbolic and mathematical [c]
See also:
- Broader heading: Logika nowożytna.
- Broader heading: Matematyka.
- Algebra abstrakcyjna.
- Metamatematyka.
- Podstawy matematyki.
- Teoria zbiorów.
- Narrower heading: Aksjomatyka.
- Narrower heading: Algebra Boole'a.
- Narrower heading: Definiowalność (logika matematyczna).
- Narrower heading: Formalizacja (matematyka).
- Narrower heading: Funkcje rekursywne.
- Narrower heading: Intuicjonizm matematyczny.
- Narrower heading: Kategorie (matematyka).
- Narrower heading: Logicyzm.
- Narrower heading: Logika algebraiczna.
- Narrower heading: Logika informatyczna.
- Narrower heading: Logika kombinatoryczna.
- Narrower heading: Logika kwantowa.
- Narrower heading: Logika matematyczna nieklasyczna.
- Narrower heading: Logika pierwszego rzędu.
- Narrower heading: Logika rozmyta.
- Narrower heading: Maszyny logiczne.
- Narrower heading: Matematyka konstruktywna.
- Narrower heading: Nauka metodologia.
- Narrower heading: Programowanie logiczne.
- Narrower heading: Rachunek kwantyfikatorów.
- Narrower heading: Rachunek lambda.
- Narrower heading: Rozstrzygalność (logika matematyczna).
- Narrower heading: Teoria automatów.
- Narrower heading: Teoria dowodu.
- Narrower heading: Teoria komutacji.
- Narrower heading: Teoria modeli.
- Narrower heading: Teoria rekursywności.
- Narrower heading: Teoria typów (logika matematyczna).
- Narrower heading: Twierdzenie Gödla.
- Narrower heading: Twierdzenie o zupełności.
- Narrower heading: Rachunek zdań.
- Narrower heading: Logika macierzowa.
- Narrower heading: Kwazirozmaitości (algebra uniwersalna).
- Narrower heading: Pi-rachunek.
- Narrower heading: Logika progowa.
- Narrower heading: Rachunek nazw.
- Narrower heading: Problem domina.
RAMEAU