Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Publication details
Main information
Proof-theoretic semantics
2006
KSH06e
-
Book edition
Reinhard Kahle, Peter Schroeder-Heister
148
Synthese
-
-
-
-
Special issue
-
Export formats
Reinhard Kahle and Peter Schroeder-Heister (eds), Proof-theoretic semantics, (Special issue), Vol. 148 of Synthese, 2006.
<a href="http://centria.di.fct.unl.pt/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542_amp_cscd=4c807d361e977a8d881e1d2e0a3318f5" class="editor">Reinhard Kahle</a> and Peter Schroeder-Heister (eds), <u>Proof-theoretic semantics</u>, <i>(Special issue)</i>, Vol. 148 of Synthese, 2006.
@book {KSH06e, editor = {Reinhard Kahle and Peter Schroeder-Heister}, title = {Proof-theoretic semantics}, series = {Synthese}, volume = {148}, note = {Special issue}, year = {2006}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=7622e0361a56c62051b459fac1b6e521
http://centria.di.fct.unl.pt/publications/view.php?code=KSH06e
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

POS_Conhecimento