Complexity of Proofs and Their Transformations in Axiomatic Theories

Complexity of Proofs and Their Transformations in Axiomatic Theories

By
V.P. Orevkov
V.P. Orevkov
1993 • 153 pages

List

17,813 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