Petr Hajek
Auteur de Metamathematics of First-Order Arithmetic
A propos de l'auteur
Crédit image: By Luděk Kovář – ludek@kovar.biz - Own work, https://commons.wikimedia.org/w/index.php?curid=8009197
Œuvres de Petr Hajek
Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics: Lecture Notes in Logic 6 (1996) 6 exemplaires
Mechanizing hypothesis formation : mathematical foundations for a general theory (2012) 4 exemplaires
Mechanizing hypothesis formation: Mathematical foundations for a general theory (Universitext) (1978) 2 exemplaires
Gödel '96 : logical foundations of mathematics, computer science, and physics-- Kurt Gödel's Legacy (2016) 2 exemplaires
Smrt v sametu 1 exemplaire
Smrt ve věži 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
- 11
- Membres
- 37
- Popularité
- #390,572
- ISBN
- 19
- Langues
- 1