{"id":63,"date":"2017-03-09T13:25:51","date_gmt":"2017-03-09T13:25:51","guid":{"rendered":"http:\/\/hilbert.dm.fct.unl.pt\/?page_id=63"},"modified":"2017-03-21T16:50:19","modified_gmt":"2017-03-21T16:50:19","slug":"complementos-de-logica","status":"publish","type":"page","link":"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=63","title":{"rendered":"Complementos de L\u00f3gica"},"content":{"rendered":"<h1>Complementos de L\u00f3gica<\/h1>\n<p>Course in the PhD progamme of DM, FCT, UNL.<\/p>\n<p>Time: Thursday, 13h-14h<br \/>\nLocation: <em>to be defined<\/em><\/p>\n<h2>Topic: Linear Logic<\/h2>\n<p>Primery Reference:<br \/>\n<a class=\"trigger\" href=\"https:\/\/projecteuclid.org\/euclid.msjm\/1389985705#author-euclidmsjm1389985705OkadaMitsuhiro\">Mitsuhiro Okada: An Introduction to Linear Logic: Expressiveness and Phase Semantics<\/a><\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<div class=\"entry-summary\">\nComplementos de L\u00f3gica Course in the PhD progamme of DM, FCT, UNL. Time: Thursday, 13h-14h Location: to be defined Topic:&hellip;\n<\/div>\n<div class=\"link-more\"><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=63\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &ldquo;Complementos de L\u00f3gica&rdquo;<\/span>&hellip;<\/a><\/div>\n","protected":false},"author":1,"featured_media":0,"parent":50,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-63","page","type-page","status-publish","hentry","entry"],"_links":{"self":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages\/63","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=63"}],"version-history":[{"count":1,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages\/63\/revisions"}],"predecessor-version":[{"id":64,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages\/63\/revisions\/64"}],"up":[{"embeddable":true,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages\/50"}],"wp:attachment":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=63"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}