Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

Mittuniversitetet, Biblioteket i Sundsvall (Mhs)Ange som favorit

Öppettider, adress m.m.

Umeå universitetsbibliotek (Q)Ange som favorit

Placering: kurs Huth, M

Bibliotek i Mellansverige (2)

Titeln i bibliotekets lokala katalog Tillgänglighet vid MDU

Mälardalens universitet, Västerås, Universitetsbiblioteket (Mdv)Ange som favorit

Placering: P Kursbok, ej fjärrlån

Uppsala universitetsbibliotek, Ångströmbiblioteket (Uang)Ange som favorit

Mina lån Låna/reservera

Placering: 005.1 Huth

Bibliotek i Stockholmsregionen (2)

Stockholms universitet, Frescatibiblioteket (H)Ange som favorit

Låna/reservera

Titeln i bibliotekets lokala katalog Tillgänglighet för KTH

Kungliga Tekniska högskolan, KTH Biblioteket, Huvudbiblioteket (T)Ange som favorit

Placering: 005 Huth 2004

Bibliotek i östra Sverige (1)

Linköpings universitetsbibliotek (Li)Ange som favorit: Mina lån Låna/reservera; Utlånad?Öppettider, adress m.m.

Bibliotek i västra Sverige (3)

Titeln i bibliotekets lokala katalog Find@GU

Göteborgs universitetsbibliotek Ekonomiska biblioteket (Ge)Ange som favorit

Placering: 004 18-5

Högskolan Väst, Biblioteket (Htut)Ange som favorit

Placering: 005.1 Huth

Chalmers tekniska högskola, Huvudbiblioteket (Z)Ange som favorit

Bibliotek i södra Sverige (1)

Linnéuniversitetet, Universitetsbiblioteket Växjö (LnuV)Ange som favorit

Placering: 005.1 Huth