Skip to main content

Deskryptory BN w SKOS

Content language

... > Kultura > Nauka > Matematyka > Logika matematyczna > Rachunek sekwentów

... > Wiedza > Nauka > Matematyka > Logika matematyczna > Rachunek sekwentów

Deskryptory BN w SKOS > Automatyczne dowodzenie twierdzeń > Rachunek sekwentów

Preferred term

Rachunek sekwentów

Broader concept

Related concepts

Logika substrukturalna

Entry terms

Rachunek Gentzena
Rachunek sekwentowy
Rachunki Gentzena
Rachunki sekwentów
Sekwenty Gentzena
Sequent calculus
System Gentzena
System LK
Systemy Gentzena

URI

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

Download this concept:

RDF/XML TURTLE JSON-LD