Lev D. Beklemishev
Autore di Provability, Computability and Reflection, Volume 84 (Studies in Logic and the Foundations of Mathematics)
Sull'Autore
Opere di Lev D. Beklemishev
Provability, Computability and Reflection, Volume 84 (Studies in Logic and the Foundations of Mathematics) (1975) 5 copie
Logic, language, information and computation 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18 -… (2011) 5 copie
Logic in algebraic form: Three languages and theories (Studies in logic and the foundations of mathematics) (1974) 3 copie
Provability, Computability and Reflection, Volume 99 (Studies in Logic and the Foundations of Mathematics) (1980) 3 copie
Provability, Computability and Reflection, Volume 65 (Studies in Logic and the Foundations of Mathematics) (1972) 3 copie
The Decision Problem for WFFs with Functional Variables [excerpted from "Provability, Computability and Reflection"] (2007) 1 copia
Computer science -- theory and applications : 10th International Computer Science Symposium in Russia, CSR 2015,… (2015) 1 copia
The Axiomatic Method 1 copia
Etichette
Informazioni generali
Non ci sono ancora dati nella Conoscenza comune per questo autore. Puoi aiutarci.
Utenti
Statistiche
- Opere
- 12
- Utenti
- 29
- Popolarità
- #460,290
- ISBN
- 16
- Preferito da
- 1