Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
A Forgotten Theory of Proofs ?Erwin EngelerLogical methods in computer science, 2019-01, Vol.15, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Chen Jingrun, China's famous mathematician: devastated by brain injuries on the doorstep to solving a fundamental mathematical puzzleLei, Ting ; Belykh, Evgenii ; Dru, Alexander B ; Yagmurlu, Kaan ; Elhadi, Ali M ; Nakaji, Peter ; Preul, Mark CNeurosurgical focus, 2016-07, Vol.41 (1), p.E11-E11 [Periódico revisado por pares]United StatesTexto completo disponível |