Hyppää sisältöön

Deskryptory BN w SKOS

Sisällön kieli

Käsitteelle ei ole termiä tällä kielellä.

... > Nauka (pl) > Matematyka (pl) > Logika matematyczna (pl) > Rachunek kwantyfikatorów (pl) > Logiki wyższych rzędów (pl)

... > Nauka (pl) > Matematyka (pl) > Logika matematyczna (pl) > Rachunek kwantyfikatorów (pl) > Logiki wyższych rzędów (pl)

Käytettävä termi

Logiki wyższych rzędów (pl)

Yläkäsite

Rachunek kwantyfikatorów (pl)

Assosiatiiviset käsitteet

Muunkieliset termit

Logiki wyższych rzędów

puola
Higher-order logic
Logika drugiego rzędu
Logika II rzędu
Logika wyższego rzędu
Second-order logic

URI

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

Lataa tämä käsite:

RDF/XML TURTLE JSON-LD