: He taught logic and the theory of science at the University of Zagreb from 1950 until his retirement.

Petrović argues that Aristotelian logic (either A or not-A) is inherently conservative. It reinforces the status quo. A revolutionary logic must embrace Hegel’s Aufhebung (sublation)—where A and not-A interact to produce something new.

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

If you are a student downloading this for a course, here is the general structure of Petrović’s Logika :