Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Propositional intuitionistic multiple-conclusion calculus via proof graphsCarvalho, Ruan V B ; de Oliveira, Anjolina G ; de Queiroz, Ruy J G BLogic journal of the IGPL, 2019-02 [Periódico revisado por pares]Texto completo disponível |