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: Matthias Baaz 13 träffar

Titel Författare År Språk
1 Methods of Cut-Elimination electronic resource / by Matthias Baaz, Alexander Leitsch Matthias. author. Baaz uuuu-uuuu Okänt
2-3 Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings (flera utgåvor) Matthias Baaz uuuu-uuuu Okänt
4 Logic Colloquium '01 Matthias Baaz uuuu-uuuu Okänt
5 Methods of Cut-Elimination Matthias Baaz 2011 Engelska
6 Methods of cut-elimination / Matthias Baaz, Alexander Leitsch Matthias. Baaz uuuu-uuuu Okänt
7 Methods of Cut-elimination (Trends in Logic) Matthias Baaz 2011 Okänt
8 Computer science logic. - 17th international workshop, CSL 2003, 12th annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings 2003 Engelska
9-10 Kurt Gödel and the foundations of mathematics - horizons of truth (flera utgåvor) 2011 Engelska
11-12 Logic Colloquium '01 - proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 (flera utgåvor) Austria) Logic Colloquium (2001 : Vienna 2016 Engelska
13 Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 1418, 2002 Proceedings Matthias Baaz uuuu-uuuu Okänt

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.