Definable quantifiers in second order arithmetic and elementary extensions of ω-modelsWojciech Guzicki

Definable quantifiers in second order arithmetic and elementary extensions of ω-models

Name: Definable quantifiers in second order arithmetic and elementary extensions of ω-models
Author: Wojciech Guzicki

Wojciech Guzicki

2 biblioteki1 wydanie · 1981

Książka Biblioteki (2)

O książce

Autor: Wojciech Guzicki
Lata wydań: 1981
Liczba wydań: 1
Języki: angielski
Rodzaj: książka

Opracowanie

Dostępna w 2 bibliotekach: AGH-Biblioteka Główna (Kraków), Biblioteka Jagiellońska (Kraków)

Wczytuję…

Definable quantifiers in second order arithmetic and elementary extensions of ω-models, Wojciech Guzicki — w których bibliotekach | gdziejestksiazka.pl