Definable quantifiers in second order arithmetic and elementary extensions of ~"w-modelsWojciech Guzicki
Definable quantifiers in second order arithmetic and elementary extensions of ~"w-models
7 bibliotek1 wydanie · 1983
O książce
- Autor
- Wojciech Guzicki
- Lata wydań
- 1983
- Liczba wydań
- 1
- Języki
- angielski
- Rodzaj
- książka
Dostępna w 7 bibliotekach: Biblioteka Jagiellońska (Kraków), Biblioteka Narodowa (Warszawa), Biblioteka Główna Uniwersytetu Gdańskiego (Gdańsk), Biblioteka Główna w Toruniu (Toruń), Biblioteka UMCS (Lublin), Biblioteka Uniwersytecka UWM (Olsztyn), Biblioteka Wydziału Matematyki, Informatyki i Mechaniki (Warszawa)