Instituts-Logo Logik in der Informatik
Prof. Dr. Nicole Schweikardt
Humboldt-Logo

André Frochaux

Office:   André Frochaux
Johann von Neumann-Haus
Haus 3 / 4. Etage, Raum 421
Rudower Chaussee 25
12489 Berlin (Adlershof)
Office hour:   Tuesday, 2-3 pm, or
on appointment
Phone: +49-30-2093 3832
E-Mail:
Public Key
URL: www.informatik.hu-berlin.de/~frochaua/
Dipl.-Inf. André Frochaux
Teaching
Publications
Talks

snippets of logic

Little snippets for illustrating the syntax and semantics of logics (occasional updates).