Open AccessUMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL
Author(s) -
CHRISTIAN JACQUES RENTERIA
Publication year - 2004
Language(s) - Portuguese
Resource type - Dissertations/theses
DOI - 10.17771/pucrio.acad.5508
Subject(s) - natural deduction , sequent calculus , calculus (dental) , structural proof theory , proof theory , axiom , computer science , natural (archaeology) , proof calculus , axiomatic system , mathematics , ctl* , programming language , mathematical proof , archaeology , medicine , biochemistry , chemistry , geometry , dentistry , cytotoxic t cell , in vitro , history
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom