- Tytuł:
- On normalization of proofs in set theory
- Autorzy:
- Hallnäs, Lars
Polska Akademia Nauk. Instytut Matematyczny - Wydawca:
- Warszawa : Państwowe Wydawnictwo Naukowe
- Rok wydania:
- 1988
Książka
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.