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: A. Heyting 19 träffar

Titel Författare År Språk
1 Intuitionism An Introduction A. Heyting 1966 Okänt
2 Mathematische Grundlagenforschung Intuitionismus Beweistheorie A. Heyting 1974 Tyska
3 Intuitionism - an introduction A. Heyting 2000 Engelska
4 Axiomatic Projective Geometry A. Heyting 1980 Engelska
5 Axiomatic projective geometry / by A. Heyting A. 1898- author. (Arend) Heyting uuuu-uuuu Okänt
6-7 Intuitionism electronic resource : an introduction (flera utgåvor) A. Heyting uuuu-uuuu Okänt
8 Computer programming and formal systems electronic resource : proceedings of the colloquium hel at Amsterdam 1957 A. Heyting uuuu-uuuu Okänt
9 Intuitionism : an introduction / A. Heyting A. 1898-1980. (Arend) Heyting uuuu-uuuu Okänt
10 Computer programming and formal systems : proceedings of the colloquium hel at Amsterdam 1957 A. Heyting uuuu-uuuu Okänt
11 Collected works Vol. 1, Philosophy and foundations of mathematics Luitzen Egbertus Jan Brouwer 1975 Engelska
12 Mathematische Grundlagenforschung Intuitionismus Beweistheorie Arend Heyting 1934 Tyska
13 Constructivity in mathematics - proceedings of the colloquium held at Amsterdam, 1957 Colloquium on constructivity in mathematics (1957 : Amsterdam) 1959 Engelska
14-15 Intuitionism - an introduction (flera utgåvor) Arend Heyting 1966 Engelska
16-17 Axiomatic projective geometry (flera utgåvor) Arend Heyting 1980 Engelska
18 Les fondements des mathématiques - intuitionnisme théorie de la démonstration Arend Heyting 1955 Franska
19 Intuitionism - an introduction Arend Heyting 1971 Tyska

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.