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.