Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:fp6wzwjtcmcx5kvh > Labelled Deduction

Labelled Deduction [Elektronisk resurs]

Marcello D’Agostino (författare)
David Basin (författare)
Dov M. Gabbay (författare)
Seán Matthews (författare)
Luca Viganò (författare)
Nijssen (redaktör/utgivare)
Publicerad: Springer Netherlands, 2000
Odefinierat språk.
  • E-bok
Ämnesord
Stäng  

Ämnesord

Mathematics 

Genre

Electronic books 
Inställningar Hjälp

Titeln finns på 1 bibliotek. 

Bibliotek i västra Sverige (1)

Ange som favorit

Sök utanför LIBRIS

Hjälp
Om LIBRIS
Sekretess
Blogg
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
Sondera
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