Free variable sequent calculi : one of them even with uniform variable splitting
Roger Antonsen
Bok Engelsk 2003 · Hovedoppgaver (Form)
| Utgitt | Oslo : R. Antonsen , 2003
|
|---|---|
| Omfang | VIII, 118 s. : ill.
|
| Opplysninger | Hovedoppgave i lingvistikk - Universitetet i Oslo, 2003
|
| Emner | Språk, logikk informasjon
|
| Sjanger | Hovedoppgaver (Form) : (NO-TrBIB)HUME01032. - Hovedoppgaver
|
