Rachunek sekwentów (Q1781161)
Jump to navigation
Jump to search
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
Crone: Brewess
0 references