Sökning: onr:fp6wzwjtcmcx5kvh > Labelled Deduction
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
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
Titeln finns på 1 bibliotek.
Bibliotek i västra Sverige (1)
Ange som favorit- Chalmers tekniska högskola, E-resurser (Zdig)Ange som favorit
- Bibliotekets lokala katalog
-
- Läs hela (Online access for Chalmers) (Springer Book Archive - Collection)
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Sök vidare
Hjälp
- Fler titlar av
- Marcello D’Agostino
- David Basin
- Dov M. Gabbay
- Seán Matthews
- Luca Viganò
- Nijssen
- Fler titlar om
- Mathematics
- Labelled Deduction
Sök utanför LIBRIS
Hjälp
- Sök vidare i:
- Google Book Search
- Google Scholar
- LibraryThing
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
