Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/j.apal.2013.07.009> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- j.apal.2013.07.009 arxiv "1110.1614".
- j.apal.2013.07.009 doi "10.1016/j.apal.2013.07.009".
- j.apal.2013.07.009 first1 "R.".
- j.apal.2013.07.009 first2 "M.".
- j.apal.2013.07.009 isCitedBy Intuitionistic_logic.
- j.apal.2013.07.009 journal "Annals of Pure and Applied Logic".
- j.apal.2013.07.009 last1 "Constable".
- j.apal.2013.07.009 last2 "Bickford".
- j.apal.2013.07.009 title "Intuitionistic completeness of first-order logic".