Definable quantifiers in second order arithmetic and elementary extensions of ω-modelsWojciech Guzicki
Definable quantifiers in second order arithmetic and elementary extensions of ω-models
2 biblioteki1 wydanie · 1981
AGH-Biblioteka Główna
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie · Krakówstanbardzo niski
Biblioteka Jagiellońska
Uniwersytet Jagielloński · Krakówstanbardzo niski
Egzemplarze: Biblioteka Narodowa. Lokalizacje bibliotek m.in.: © współtwórcy OpenStreetMap.