Nie jesteś zalogowany |
A punctual model of arithmetic with a nonstandard class of primitive recursive functions
- Prelegent(ci)
- Dariusz Kalociński
- Afiliacja
- IPI PAN
- Język referatu
- angielski
- Termin
- 3 czerwca 2026 12:10
- Pokój
- p. 5450
- Seminarium
- Seminarium "Logika matematyczna"
