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: Gaisi Takeuti 18 träffar

Titel Författare År Språk
1 Proof Theory (Studies in Logic and the Foundations of Mathematics) Gaisi Takeuti 1975 Okänt
2-3 Two applications of logic to mathematics (flera utgåvor) Gaisi Takeuti 1978 Engelska
4-5 Introduction to axiomatic set theory (flera utgåvor) Gaisi Takeuti cop. 1982 Engelska
6 Axiomatic set theory Gaisi Takeuti 1973 Engelska
7-8 Proof theory (flera utgåvor) Gaisi Takeuti 1987 Engelska
9 Memoirs of a proof theorist - Gödel and other logicians Gaisi Takeuti 2003 Engelska
10 Introduction to Axiomatic Set Theory Takeuti 1982 Engelska
11-12 Two applications of logic to mathematics / by Gaisi Takeuti (flera utgåvor) Gaisi Takeuti uuuu-uuuu Okänt
13 Introduction to Axiomatic Set Theory Gaisi Takeuti 1982 Okänt
14 Proof Theory electronic resource : Second Edition Gaisi Takeuti uuuu-uuuu Okänt
15-16 Memoirs of a proof theorist electronic resource : Gödel and other logicians / by Gaisi Takeuti translated by Mariko Yasugi, Nicholas Passell (flera utgåvor) Gaisi Takeuti uuuu-uuuu Okänt
17-18 Proof theory electronic resource / Gaisi Takeuti (flera utgåvor) Gaisi Takeuti 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.