118.211 Proof Theory 2
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2019S, VO, 2.0h, 3.0EC

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture

Aim of course

Advanced methods of proof theory and the analysis of proofs.

Subject of course

Methods of Cut-Elimination (Cut-Elimination is the most important proof transformation)

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue17:00 - 18:3005.03.2019 Meeting Room , 5th floor, green towerVorbesprechung

Course registration

Not necessary

Curricula

Literature

Tait, W. W. "Normal derivability in classical logic"  in The Syntas and Semantics of Infinitary Languages

Springer Berlin, 1968, 72, 204-236

Eine Kopie dieses Artikels wird in VO ausgeteilt.

Language

German