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: Conference on Intuitionism and Proof Theory 3 träffar

Titel Författare År Språk
1 Intuitionism and proof theory : proceedings of the summer conference at Buffalo, New York, August 1968 J. Myhill and R. E. Vesley. (1968 Conference on Intuitionism and Proof Theory State University of New York at Buffalo) / / edited by A. Kino uuuu-uuuu Okänt
2 Provability, Computability and Reflection Conference on Intuitionism and Proof Theory 1970 Engelska
3 Principles of intuitionism - lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y Anne Sjerp Troelstra 1969 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.