Hopp til hovudinnhaldet

Deskryptory BN w SKOS

Innhaldsspråk

... > Nauka > Matematyka > Logika matematyczna > Rachunek kwantyfikatorów > Logika pierwszego rzędu

... > Nauka > Matematyka > Logika matematyczna > Rachunek kwantyfikatorów > Logika pierwszego rzędu

Tilrådd term

Logika pierwszego rzędu

Overordna omgrep

Rachunek kwantyfikatorów

Beslekta omgrep

Tilvisingsterm

First-order logic
First-order predicate calculus
First-order predicate logic
Logika I rzędu
Rachunek kwantyfikatorów pierwszego rzędu
Rachunek predykatów pierwszego rzędu

URI

https://bn-skos.lab.dariah.pl/Logika_pierwszego_rzedu

Last ned dette omgrepet:

RDF/XML TURTLE JSON-LD