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: Dov M. Gabbay 171 träffar

Titel Författare År Språk
161 Logic and the Modalities in the Twentieth Century 2006 Okänt
162 Inductive Logic (Handbook of the History of Logic) 2011 Okänt
163 Reactive Kripke Semantics Dov M. Gabbay 2013 Okänt
164 Greek, Indian and Arabic Logic 2004 Okänt
165 Handbook of Philosophical Logic, Vol 14 2007 Okänt
166 Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied logic series v. 35) Walter Carnielli 2008 Okänt
167 Logical Tools for Handling Change in Agent-Based Systems Dov M. Gabbay 2010 Okänt
168 Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London JOHAN VAN BENTHEM 2008 Engelska
169 Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay Dov M. Gabbay uuuu-uuuu Okänt
170 Mathematical Problems from Applied Logic I: Logics for the XXIst Century (International mathematical series v. 4) Dov M. Gabbay 2006 Okänt
171 Goal-directed proof theory / by Dov M. Gabbay and Nicola Olivetti Dov M. Gabbay uuuu-uuuu Okänt

Förra sidan 1 2 3 4 5 6 7 8 9

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.