The Curry-Howard correspondence is the "secret religion" of type theorists. It states, very simply:

Detailed exploration of deductive, inductive, and analogical reasoning.

serves as a technical manual, it is inseparable from Petrović’s identity as a leader of the Praxis School

Gajo Petrović's is a seminal textbook in the Balkans, first published in . It remains a standard resource for high school and university students, defining logic as the "philosophical discipline of the forms of valid thought". Core Content & Structure