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