Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:5023726 > Advances in linear ...

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
  • BokKonferens
Ä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. 

Bibliotek i Stockholmsregionen (1)

Ange som favorit

Bibliotek i östra Sverige (1)

Ange som favorit
Om LIBRIS
Sekretess
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy