Lev D. Beklemishev
Autor(a) de Provability, Computability and Reflection, Volume 84 (Studies in Logic and the Foundations of Mathematics)
About the Author
Obras de Lev D. Beklemishev
Provability, Computability and Reflection, Volume 84 (Studies in Logic and the Foundations of Mathematics) (1975) 5 cópias
Logic, language, information and computation 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18 -… (2011) 5 cópias
Logic in algebraic form: Three languages and theories (Studies in logic and the foundations of mathematics) (1974) 3 cópias
Provability, Computability and Reflection, Volume 99 (Studies in Logic and the Foundations of Mathematics) (1980) 3 cópias
Provability, Computability and Reflection, Volume 65 (Studies in Logic and the Foundations of Mathematics) (1972) 3 cópias
The Decision Problem for WFFs with Functional Variables [excerpted from "Provability, Computability and Reflection"] (2007) 1 exemplar(es)
Computer science -- theory and applications : 10th International Computer Science Symposium in Russia, CSR 2015,… (2015) 1 exemplar(es)
The Axiomatic Method 1 exemplar(es)
Etiquetado
Conhecimento Comum
There is no Common Knowledge data for this author yet. You can help.
Membros
Estatísticas
- Obras
- 12
- Membros
- 29
- Popularidade
- #460,290
- ISBNs
- 16
- Favorito
- 1