Annotation
Development of logic from Aristoteles to Gödel, the course is centred on the modern mathematical logic and the related disciplines, the stress is put on the relations of historic systems to the current methods, problems and aims.
Development of logic from Aristoteles to Gödel, the course is centred on the modern mathematical logic and the related disciplines, the stress is put on the relations of historic systems to the current methods, problems and aims.