Proof Theory and Algebra in Logic

Proof Theory and Algebra in Logic

By
Hiroakira Ono
Hiroakira Ono
2019 • 160 pages

List

17,837 books

My Library

Nitin
Nitin Rughoonauth
Fermi Remembered
Goedel's Way: Exploits into an undecidable world
Brave Genius: A Scientist, a Philosopher, and Their Daring Adventures from the French Resistance to the Nobel Prize
Debate en torno a la etica del discurso de Apel: Diálogo filosófico Norte-Sur desde América Latina
Love and math : the heart of hidden reality
The Road to Reality
The Large, the Small and the Human Mind