[en] A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
[pt] UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL
| dc.creator | CHRISTIAN JACQUES RENTERIA | |
| dc.date.accessioned | 2022-09-21T21:44:07Z | |
| dc.date.accessioned | 2023-03-13T20:12:10Z | |
| dc.date.available | 2022-09-21T21:44:07Z | |
| dc.date.available | 2023-03-13T20:12:10Z | |
| dc.date.created | 2022-09-21T21:44:07Z | |
| dc.identifier | https://hdl.handle.net/20.500.12032/42904 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/6166875 | |
| dc.publisher | MAXWELL | |
| dc.subject | [pt] TEORIA DA PROVA | |
| dc.subject | [pt] KEISLER | |
| dc.subject | [pt] ULTRAFILTROS | |
| dc.subject | [pt] QUANTIFICADORES | |
| dc.subject | [pt] ROTULO | |
| dc.subject | [pt] NORMALIZACAO | |
| dc.subject | [pt] DEDUCAO NATURAL | |
| dc.subject | [pt] LOGICA | |
| dc.subject | [en] PROOF THEORY | |
| dc.subject | [en] FILTER | |
| dc.subject | [en] KEISLER | |
| dc.subject | [en] ULTRAFILTER | |
| dc.subject | [en] QUANTIFIERS | |
| dc.subject | [en] LABEL | |
| dc.subject | [en] NORMALIZATION | |
| dc.subject | [en] NATURAL DEDUCTION | |
| dc.subject | [en] LOGIC | |
| dc.title | [en] A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION | |
| dc.title | [pt] UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL | |
| dc.type | TEXTO |