Object's details: From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
Provider:Repozytorium Uniwersytetu Łódzkiego
Description
- Title:
- Creator:
- Contributor:
- Description:
- Object availability:
- Rights:
- Date:
- Type:
- Language:
- Format:
- Publisher:
- Relation:
- Subject:
- Identifier: http://hdl.handle.net/11089/24562 ;
- Data provider:
- Can I use it?:
- Type:
Similar objects
Creator:von Plato, Jan 
Date:2018.04.24  | 2017 
Type:image 
Creator:Kozhemiachenko, Daniil 
Date:2017.04.24 
Type:text 
Creator:Zielonka, Wojciech 
Date:2012.03.15 
Type:text 
Date:1917 
Type:other 
Can I use it?:yes 
Creator:Jaśkowski, Stanisław  | Indrzejczak, Andrzej 
Date:2024.10.10  | 2018.12.30 
Type:image 
Creator:Schwartz, Yehuda  | Tourlakis, George 
Date:2013.09.18 
Type:text 
Date:1970.12.31  | 1970 
Type:text 
Can I use it?:seek permission 
Creator:Lee, Jui-Lin 
Date:2008.02.26 
Type:text