| Title | Sequent calculus Sk4 for skolemized formulas |
|---|---|
| Translation of Title | Sekvencinis skaičiavimas Sk4 skulemizuotoms formulėms. |
| Authors | Belovas, Andrejus ; Norgėla, Stanislovas Leonas |
| DOI | 10.15388/LMR.2005.26672 |
| Full Text |
|
| Is Part of | Lietuvos matematikos rinkinys. 2005, t. 45, spec. nr, p. 316-320.. ISSN 0132-2818 |
| Type | Journal article |
| Language | English |
| Publication date | 2005 |
| CC license |
|