Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
-
Girard, Jean-Yves (medarbetare)
-
Lafont, Yves (medarbetare)
-
Regnier, Laurent (medarbetare)
-
Cornell University. Mathematical Science Institute (Ithaca, N.Y.) (medarbetare)
- ISBN 0-521-55961-8
- Cambridge : Cambridge Univ. Press, 1995
- Engelska 389 s.
-
Serie: Lecture note series / London mathematical society, 0076-0552 ; 222
Ämnesord
Stäng
Ämnesord
- Logic, Symbolic and mathematical -- Congresses (BNB)
- Mathematical logic (BNB)
Indexterm och SAB-rubrik
- Linear logic
- Categories
- Semantics
- Minsky machines
- Ta Matematik Allmänt
- Dca Logik
Klassifikation
- 511.3 (DDC)
- 511.3 (DDC)
- Ta (kssb/6)
- Dca (kssb/6)
- AMS 00
- AMS 03
Inställningar
Hjälp
Titeln finns på 2 bibliotek.
Ange som favorit
-
Stockholms universitetsbibliotek Matematiska biblioteket (Hma)Ange som favorit
-
Låna/reservera
-
-
Placering: MAT B Advances
Utlånad?Öppettider, adress m.m.
Ange som favorit