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: Takeuti 25 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 Introduction to Axiomatic Set Theory Takeuti 1982 Engelska
3-4 Two applications of logic to mathematics (flera utgåvor) Gaisi Takeuti 1978 Engelska
5 Proceedings of the workshop on pulsars - (Mizusawa, Japan; December3-4, 1990) 1991 Engelska
6-7 Introduction to axiomatic set theory (flera utgåvor) Gaisi Takeuti cop. 1982 Engelska
8 Axiomatic set theory Gaisi Takeuti 1973 Engelska
9-10 Proof theory (flera utgåvor) Gaisi Takeuti 1987 Engelska
11 Stellar pulsation - nonlinear studies 2001 Engelska
12 Pulsating stars - recent developments in theory and observation 1998 Engelska
13 Memoirs of a proof theorist - Gödel and other logicians Gaisi Takeuti 2003 Engelska
14-15 Two applications of logic to mathematics / by Gaisi Takeuti (flera utgåvor) Gaisi Takeuti uuuu-uuuu Okänt
16 Nonlinear Phenomena in Stellar Variability M. Takeuti 1993 Engelska
17 Introduction to Axiomatic Set Theory Gaisi Takeuti 1982 Okänt
18 Proof Theory electronic resource : Second Edition Gaisi Takeuti uuuu-uuuu Okänt
19 Memoirs of a proof theorist electronic resource : Gödel and other logicians / by Gaisi Takeuti translated by Mariko Yasugi, Nicholas Passell Gaisi Takeuti uuuu-uuuu Okänt
20 Proof theory electronic resource / Gaisi Takeuti Gaisi Takeuti uuuu-uuuu Okänt

1 2 Nästa sida

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.