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: Lev D. Beklemishev
11 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Recursive Analysis
|
Lev D. Beklemishev
|
1961 |
Okänt |
| 2 |
Foundations of Set Theory
|
Lev D. Beklemishev
|
1958 |
Okänt |
| 3-4 |
Provability, Computability and Reflection
(flera utgåvor)
|
Lev D. Beklemishev
|
1959 |
Engelska |
| 5 |
Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
|
Lev D. Beklemishev
|
2011 |
Engelska |
| 6 |
Mathematical Interpretation of Formal Systems
|
Lev D. Beklemishev
|
1955 |
Okänt |
| 7 |
Computer Science -- Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
|
|
2015 |
Engelska |
| 8 |
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
|
|
2015 |
Engelska |
| 9 |
Computer Science -- Theory and Applications
|
Lev D. Beklemishev
|
2015 |
Okänt |
| 10 |
Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
|
|
2011 |
Okänt |
| 11 |
Combinatorial set theory
|
Lev D. Beklemishev
|
1977 |
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.