H. Kotlarski
seminars given
date | title | |
---|---|---|
1997/11/21 | An explicit construction of a model of PA + ¬Con_PA | |
1 seminar. |
mpla.math.uoa.gr |
|
You are here: Persons » H. Kotlarski |
date | title | |
---|---|---|
1997/11/21 | An explicit construction of a model of PA + ¬Con_PA | |
1 seminar. |