Szczegóły obiektu: A New Arithmetically Incomplete First- Order Extension of Gl All Theorems of Which Have Cut Free Proofs
Instytucja dostarczająca:Repozytorium Uniwersytetu Łódzkiego
Opis
- Tytuł:
- Twórca:
- Współtwórca:
- Opis:
- Dostępność obiektu:
- Prawa:
- Data:
- Typ:
- Język:
- Format:
- Wydawca:
- Relacja:
- Temat i słowa kluczowe:
- Identyfikator: http://hdl.handle.net/11089/21621 ;
- Dostawca danych:
- Czy mogę z tego obiektu skorzystać?:
- Rodzaj zawartości:
Podobne obiekty
Twórca:Tourlakis, George
Data:2017.05.16 | 2016
Rodzaj zawartości:obrazy
Twórca:Gao, Feng | Tourlakis, George
Data:2016.04.28 | 2015
Rodzaj zawartości:obrazy
Twórca:Bednarska, Kaja | Indrzejczak, Andrzej
Data:2015.08.25
Rodzaj zawartości:teksty
Twórca:Schwartz, Yehuda | Tourlakis, George
Data:2013.09.18
Rodzaj zawartości:teksty
Twórca:Martini, Simone | Masini, Andrea | Zorzi, Margherita
Data:2024.01.04 | 2023.09.25
Rodzaj zawartości:pozostałe
Twórca:Petrukhin, Yaroslav
Data:2021.12.16
Rodzaj zawartości:teksty
Twórca:Pavone, Luigi
Data:2018.06.12
Rodzaj zawartości:teksty
Twórca:Bigaj, Tomasz
Data:2022.01.10
Rodzaj zawartości:teksty