Seminarium Zakładu Logiki Matematycznej

Seminarium Zakładu Logiki Matematycznej
Piątek, 21 marca, godz. 14:15 sala 5820, Banacha 2, MIMUW
Prof.dr hab. Andrzej Grzegorczyk
Obliczalność i nierozstrzyglaność logiki bez arytmetyzacji.

Wszystkich zainteresowanych zapraszamy.