Seminar
Speaker: | H. Kotlarski (Polish Academy of Sciences (Warsaw)) |
---|---|
Title: | An explicit construction of a model of PA + ¬Con_PA |
Date: | Friday, 21 Nov 1997 |
Time: | 18:00-19:00 |
You are here: Seminars » 1997-1998 » H. Kotlarski, 1997-11-21 |
Speaker: | H. Kotlarski (Polish Academy of Sciences (Warsaw)) |
---|---|
Title: | An explicit construction of a model of PA + ¬Con_PA |
Date: | Friday, 21 Nov 1997 |
Time: | 18:00-19:00 |
Comments