Widok standardowy Widok MARC

Logika symboliczna i matematyczna. (Hasło przedmiotowe ogólne (rzeczowe))

Liczba rekordów, w których użyto hasła: 8

Forma preferowana: Logika symboliczna i matematyczna.

Forma odrzucona:

Logique mathématique [f]
Logic, Symbolic and mathematical [c]
Logika formalna.
Logika matematyczna.
Logika symboliczna.
Logika uniwersalna.

Zobacz też:

Hasło szersze: Logika nowożytna.
Hasło szersze: Matematyka.
Algebra abstrakcyjna.
Metamatematyka.
Podstawy matematyki.
Teoria zbiorów.
Hasło węższe: Aksjomatyka.
Hasło węższe: Algebra Boole'a.
Hasło węższe: Definiowalność (logika matematyczna).
Hasło węższe: Formalizacja (matematyka).
Hasło węższe: Funkcje rekursywne.
Hasło węższe: Intuicjonizm matematyczny.
Hasło węższe: Kategorie (matematyka).
Hasło węższe: Logicyzm.
Hasło węższe: Logika algebraiczna.
Hasło węższe: Logika informatyczna.
Hasło węższe: Logika kombinatoryczna.
Hasło węższe: Logika kwantowa.
Hasło węższe: Logika matematyczna nieklasyczna.
Hasło węższe: Logika pierwszego rzędu.
Hasło węższe: Logika rozmyta.
Hasło węższe: Maszyny logiczne.
Hasło węższe: Matematyka konstruktywna.
Hasło węższe: Nauka metodologia.
Hasło węższe: Programowanie logiczne.
Hasło węższe: Rachunek kwantyfikatorów.
Hasło węższe: Rachunek lambda.
Hasło węższe: Rozstrzygalność (logika matematyczna).
Hasło węższe: Teoria automatów.
Hasło węższe: Teoria dowodu.
Hasło węższe: Teoria komutacji.
Hasło węższe: Teoria modeli.
Hasło węższe: Teoria rekursywności.
Hasło węższe: Teoria typów (logika matematyczna).
Hasło węższe: Twierdzenie Gödla.
Hasło węższe: Twierdzenie o zupełności.
Hasło węższe: Rachunek zdań.
Hasło węższe: Logika macierzowa.
Hasło węższe: Kwazirozmaitości (algebra uniwersalna).
Hasło węższe: Pi-rachunek.
Hasło węższe: Logika progowa.
Hasło węższe: Rachunek nazw.
Hasło węższe: Problem domina.

Uwagi

RAMEAU