Zobrazeno 1 - 2
of 2
pro vyhledávání: '"MARIA FERNANDA PALLARES COLOMAR"'
Publikováno v:
Repositório Institucional da PUC-RIO (Projeto Maxwell)
Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO
Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO
COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR A primeira apresentação de um Cálculo de Seqüentes foi feita por Gerhard Gentzen na década de 1930. Neste tipo de sistema, a diferença entre as versões clássica e intuicionista r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::292f47ebe6ae612a3074917bf14ad5da
https://doi.org/10.17771/pucrio.acad.11144
https://doi.org/10.17771/pucrio.acad.11144
Publikováno v:
Repositório Institucional da PUC-RIO (Projeto Maxwell)
Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO
Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO
COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR Na antologia que M.E. Szabo realizara dos trabalhos de Gentzen e publicara em 1969 se transcrevem, em um apêndice, algumas passagens apresentadas por Bernays ao editor pertencentes a um
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20a36b7472668374a2ef2ea3078ce894
https://doi.org/10.17771/pucrio.acad.4126
https://doi.org/10.17771/pucrio.acad.4126