Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: D. M. Gabbay 79 träffar

Titel Författare År Språk
21 Elementary logics - a procedural perspective Dov M. Gabbay 1998 Engelska
22 Fibring logics Dov M. Gabbay 1999 Engelska
23 Goal-directed proof theory Dov M. Gabbay c2000 Engelska
24 Handbook of Philosophical Logic electronic resource Dov M. Gabbay 2007 Engelska
25 Interpolation and definability - modal and intuitionistic logic Dov M. Gabbay 2005 Engelska
26 The reach of abduction - insight and trial Dov M. Gabbay 2005 Engelska
27 Semantical investigations in Heyting's intuitionistic logic Dov M. Gabbay cop. 1981 Engelska
28 Temporal logic - mathematical foundations and computational aspects Dov M. Gabbay 1994-9999 Engelska
29 Handbook of deontic logic and normative systems cop. 2013 Engelska
30 Handbook of deontic logic and normative systems Volume 2 2021 Engelska
31 Handbook of logic in artificial intelligence and logic programming 1993-1998 Engelska
32 Handbook of logic in artificial intelligence and logic programming Vol. 5 1995 Engelska
33 Handbook of logic in artificial intelligence and logic programming Vol. 5, Logic programming 1998 Engelska
34 Handbook of logic in computer science 1992-2000 Engelska
35 Handbook of logic in computer science Vol. 1, Background - mathematical structures 1992 Engelska
36 Handbook of logic in computer science Vol. 5 2000 Engelska
37 Handbook of logic in computer science Vol. 6 1995 Engelska
38-39 Handbook of philosophical logic (flera utgåvor) cop. 1994 Engelska
40 Handbook of philosophical logic Vol. 1 2001 Engelska

Förra sidan 1 2 3 4 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.