Szczegóły obiektu: Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Instytucja dostarczająca:Repozytorium Uniwersytetu Łódzkiego
Opis
- Title:
- Creator:
- Contributor:
- Description:
- Object availability:
- Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
- Date:
- Type:
- Language:
- Format:
- Publisher:
- Relation:
- Subject:
- Identifier: http://hdl.handle.net/11089/42921 ;
- Data provider:
- Can I use it?:
- Type:
Podobne obiekty
Twórca:Braüner, Torben
Data:2022.08.25 | 2022.01.07
Rodzaj zawartości:pozostałe
Twórca:Indrzejczak, Andrzej
Data:2016.04.04
Rodzaj zawartości:teksty
Twórca:von Plato, Jan
Data:2018.04.24 | 2017
Rodzaj zawartości:obrazy
Twórca:Braüner, Torben
Data:2020.02.17
Rodzaj zawartości:teksty
Twórca:Buszkowski, Wojciech
Data:2018.04.24 | 2017
Rodzaj zawartości:obrazy
Twórca:Indrzejczak, Andrzej
Data:2017.04.05
Rodzaj zawartości:teksty
Twórca:Bednarska, Kaja
Data:2016.07.04 | 2016 | 2016.07.14
Rodzaj zawartości:teksty
Twórca:Zawidzki, Michał
Data:2017.12.08 | 2014
Rodzaj zawartości:obrazy