Petr Hajek
Author of Metamathematics of First-Order Arithmetic
About the Author
Image credit: By Luděk Kovář – ludek@kovar.biz - Own work, https://commons.wikimedia.org/w/index.php?curid=8009197
Works by Petr Hajek
Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics: Lecture Notes in Logic 6 (1996) 6 copies
Mechanizing hypothesis formation: Mathematical foundations for a general theory (Universitext) (1978) 2 copies
Gödel '96 : logical foundations of mathematics, computer science, and physics-- Kurt Gödel's Legacy (2016) 2 copies
Smrt v sametu 1 copy
Smrt ve věži 1 copy
Tagged
Common Knowledge
There is no Common Knowledge data for this author yet. You can help.
Members
Statistics
- Works
- 11
- Members
- 37
- Popularity
- #390,572
- ISBNs
- 19
- Languages
- 1