Advances in linear logic : [... based ... on the Linear Logic Workshop, held June 14 - 18, 1993, at the Mathematical Sciences Institute, Cornell University, Ithaca ...] / ed. by Jean-Yves Girard ...

Mitwirkende(r):

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: London Mathematical Society. Lecture note series / London Mathematical Society ; 222Verlag: Cambridge [u.a.] : Cambridge Univ. Press, c 1995Auflage: 1. publBeschreibung: VI, 389 S : graph. Darst ; 23 cmISBN:

0521559618

Schlagwörter:

Genre/Form:

Konferenzschrift

Andere physische Formen: Erscheint auch als: Advances in linear logic. Online-Ausgabe. Cambridge : Cambridge University Press, 1995. 1 Online-Ressource (vi, 389 pages)DDC-Klassifikation:

511.3 20

MSC: MSC: *00B25 | 03-06RVK: RVK: SI 320 | SD 1993LOC-Klassifikation:

QA9.A1

Call number: Grundsignatur: 95 A 2698PPN: PPN: 186988699

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Standort	Signatur	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	95 A 2698	Verfügbar	47199321090

Anzahl Vormerkungen: 0