Algorithms, categories and proofs: Some topics in modern Serbian logic

Abstract

In this paper we focus on two branches of modern logic, computability theory and proof theory, tracing their development in Serbia from the end of World War II to this day. Owing to the unfortunate set of circumstances, computability theory did not give birth to a school in Serbia. Proof theory, on the other hand, found a base in Belgrade as one of the few places in the world promoting Gentzen's ideas, especially in the field of categorial proof theory which will be our sole interest in this work.