Sommersemester 2015

Vorlesung: Lambda-Kalkül und kombinatorische Logik

Dozent: Dr. M. Arndt

Materialien:

Klausur:

Termin: 27. Juli 2015, 12 Uhr c.t.

Ort: Sand 6, Hörsaal 2

Literatur:


Seminar: Mathematical Logic

Dozent: Prof. P. Schroeder-Heister


Seminar: Carnap: Meaning and Necessity

Dozent: Prof. P. Schroeder-Heister, Dr. L. Tranchini

Materialien (passwortgeschützt)