104.426 AKLOG: Seminar in Proof Theory
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2014W, SE, 2.0h, 3.0EC

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: SE Seminar

Aim of course

The seminar in logic aims at the presentation of most recent publications in proof theory.

Subject of course

The participants lecture about most recent results in proof theory, also from their own scientific publications.

Additional information

Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Mon17:00 - 18:0013.10.2014 Zeichensaal 3, Freihaus, 7.OGVorbesprechnung

Course registration

Not necessary

Curricula

Literature

No lecture notes are available.

Language

if required in English