Generalized quantifiers in sequent calculus
Erik A. ColbanInngår i serie: COSMOS-report (18)
Colban, Erik A. Bok Engelsk utgitt 1991
Colban, Erik A. Bok Engelsk utgitt 1991
Ledig
- Automatlager: 2 av 2 ledig
*001458690 *00520250613134738.0 *007cr *007ta *008090703s1991 no 000 0 eng *00901085cam a2200289 c 4500 *019 $bl *035 $a(EXLNZ-47BIBSYS_NETWORK)999315642124702201 *035 $a(NO-LaBS)15141032(bibid) *035 $a(NO-TrBIB)092755011 *035 $a(NO-TrBIB)931564212 *035 $a931564212-47bibsys_network *040 $aNO-OsNB$bnob$ekatreg *080 $a519.766 *080 $a519.769 *1001 $aColban, Erik A.$d1959-$_74844200 *24510$aGeneralized quantifiers in sequent calculus$cErik A. Colban *260 $aOslo$bDepartment of Mathematics, University of Oslo$c1991 *300 $a53 bl. *4901 $aCOSMOS-report$v18 *533 $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2009-05-04 *588 $aKatalogisert etter omslag. *653 $acomputational$asemantics$amatematisk$alingvistikk$ageneraliserte$akvantorer$aweak$alogic$_74844300 *830 0$aCOSMOS-report (trykt utg.)$x0802-4944$v18$w998903096714702201$_24651800 *85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2009050400008$yNettbiblioteket$zDigital representasjon *901 $a80 *999 $aoai:nb.bibsys.no:999315642124702202$b2021-11-14T20:22:18Z$z999315642124702202 ^