Rachunek sekwentów (Q1781161)
No description defined
- Rachunek Gentzena
- Rachunek sekwentowy
- Rachunki Gentzena
- Rachunki sekwentów
- Sekwenty Gentzena
- System Gentzena
- System LK
- Systemy Gentzena
- Sequent calculus
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rachunek sekwentów |
No description defined |
|
Statements
a0000002712803
0 references
P62287T79127
0 references