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.
Seminarium Zakładu Logiki Matematycznej, MIMUW, 21.03.2003
Ten wpis został opublikowany w kategorii Wykłady. Dodaj zakładkę do bezpośredniego odnośnika.