Lev D. Beklemishev
Auteur de Provability, Computability and Reflection, Volume 84 (Studies in Logic and the Foundations of Mathematics)
A propos de l'auteur
Œuvres de Lev D. Beklemishev
Provability, Computability and Reflection, Volume 84 (Studies in Logic and the Foundations of Mathematics) (1975) 5 exemplaires
Logic, language, information and computation 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18 -… (2011) 5 exemplaires
Logic in algebraic form: Three languages and theories (Studies in logic and the foundations of mathematics) (1974) 3 exemplaires
Provability, Computability and Reflection, Volume 99 (Studies in Logic and the Foundations of Mathematics) (1980) 3 exemplaires
Provability, Computability and Reflection, Volume 65 (Studies in Logic and the Foundations of Mathematics) (1972) 3 exemplaires
Set Theory: An Introduction to Large Cardinals (Studies in Logic and the Foundations of Mathematics ; V. 76) 2 exemplaires
The Decision Problem for WFFs with Functional Variables [excerpted from "Provability, Computability and Reflection"] (2007) 1 exemplaire
Computer science -- theory and applications : 10th International Computer Science Symposium in Russia, CSR 2015,… (2015) 1 exemplaire
The Axiomatic Method 1 exemplaire
Étiqueté
Partage des connaissances
Il n’existe pas encore de données Common Knowledge pour cet auteur. Vous pouvez aider.
Membres
Statistiques
- Œuvres
- 12
- Membres
- 29
- Popularité
- #460,290
- ISBN
- 16
- Favoris
- 1