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: Sara Negri 11 träffar

Titel Författare År Språk
1 Automated Reasoning with Analytic Tableaux and Related Methods Anupam Das 2021 Okänt
2 Investigations into the predicate calculus Oiva Ketonen 2022 Engelska
3-4 Proof analysis - a contribution to Hilbert's last problem (flera utgåvor) Sara Negri 2011 Engelska
5-6 Proof analysis : a contribution to Hilbert's last problem / Sara Negri, Jan von Plato (flera utgåvor) Sara Negri uuuu-uuuu Okänt
7 Proof analysis : a contribution to Hilbert's last problem / Sara Negri, Jan von Plato. electronic resource Sara Negri uuuu-uuuu Okänt
8 Structural proof theory Sara Negri 2001 Engelska
9 Structural proof theory / Sara Negri, Jan von Plato with an appendix by Aarne Ranta Sara Negri uuuu-uuuu Okänt
10 Structural proof theory / Sara Negri, Jan von Plato with an appendix by Aarne Ranta. electronic resource Sara Negri uuuu-uuuu Okänt
11 Structural Proof Theory 2001 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.