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: David J. Pym 9 träffar

Titel Författare År Språk
1 Reductive Logic and Proof-search David J. Pym 2004 Okänt
2 The Semantics and Proof Theory of the Logic of Bunched Implications David J. Pym 2002 Okänt
3 The Semantics and Proof Theory of the Logic of Bunched Implications / by David J. Pym David J. author. Pym uuuu-uuuu Okänt
4-5 Reductive logic and proof-search - proof theory, semantics, and control (flera utgåvor) David J. Pym 2004 Engelska
6-7 Reductive logic and proof-search electronic resource : proof theory, semantics, and control / David J. Pym and Eike Ritter (flera utgåvor) David J. Pym uuuu-uuuu Okänt
8 Reductive logic and proof-search : proof theory, semantics, and control / David J. Pym and Eike Ritter David J. Pym uuuu-uuuu Okänt
9 The semantics and proof theory of the logic of bunched implications David J Pym c2002 Engelska

1

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.