• Срп
  • Eng
Časopis Kultura
  • About
  • Journals
  • Search
  • News
  • Translations
  • Redaction
  • Contact
  • Search
  • Menu Menu
  • About
  • Journals
  • Search
  • News
  • Translations
  • Redaction
  • Contact
You are here: Home1 / Texts2 / ALGORITHMS, CATEGORIES AND PROOFS: SOME TOPICS IN MODERN SERBIAN LOGIC

ALGORITHMS, CATEGORIES AND PROOFS: SOME TOPICS IN MODERN SERBIAN LOGIC

Text topic: Serbian Philosophic Culture

Key words:

Text author: Милош Аџић и Сенка Милошевић

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.

Journal No.134 / 2012

Download journal
Download text
  • Share on Facebook
  • Share on Twitter
  • Share on LinkedIn
  • Share by Mail

Contact

Address: Rige od Fere 4, Beograd

Phone: +381 11 2637 565

Fax: +381 11 2638 941

Еmail: info@zaprokul.org.rs

Terms and conditions

Scroll to top