- Borel determinacy, weak set theories and higher order arithmetics
Opis
- Tytuł: Borel determinacy, weak set theories and higher order arithmetics
- Tytuł publikacji grupowej: Algorithmique et Informatique de Clermont ; 1
- Tytuł pracy zbiorowej: Seminaire du Laboratoire de Logic
- Twórca: Kościelski, Antoni
- Strony: S. 144-196
- Data wydania: 1993
- Typ: Tekst
- Język publikacji: eng
- Szczegółowy typ obiektu: rozdz
- Typ obiektu: Rozdział