Object's details: A Simulation of Natural Deduction and Gentzen Sequent Calculus
Provider:Akademicka Platforma Czasopism
Description
- Title:
- Creator:
- Description:
- Object availability:
- Rights:
- Date:
- Type:
- Language:
- Source:
- Format:
- Publisher:
- Relation: https://apcz.umk.pl/LLP/article/view/LLP.2017.009/11960
- Subject:
- Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2017.009
- Data provider:
- Can I use it?:
- Type:
Similar objects
Creator:Kozhemiachenko, Daniil 
Date:2017.04.24 
Type:text 
Creator:von Plato, Jan 
Date:2018.04.24  | 2017 
Type:image 
Creator:Ilić, Mirjana 
Date:2017.05.16  | 2016 
Type:image 
Creator:Sasaki, Katsumi 
Date:2022.05.19  | 2021.10.14 
Type:other 
Creator:Gordeev, Lew  | Haeusler, Edward Hermann 
Date:2022.08.25  | 2022.01.07 
Type:other 
Creator:Cordes, Moritz  | Reinmuth, Friedrich 
Date:2017.02.02 
Type:text 
Creator:Sasaki, Katsumi 
Date:2022.08.25  | 2022.06.23 
Type:other 
Creator:Gordeev, Lew  | Haeusler, Edward Hermann 
Date:2021.05.05  | 2020.11.04 
Type:other