Matches in DBpedia 2016-04 for { <http://archive.numdam.org/article/CM_1956-1958__13__277_0.pdf> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- CM_1956-1958__13__277_0.pdf author "Gilmore, P.C.".
- CM_1956-1958__13__277_0.pdf isCitedBy Many-sorted_logic.
- CM_1956-1958__13__277_0.pdf journal "Compositio Mathematica".
- CM_1956-1958__13__277_0.pdf pages "277–281".
- CM_1956-1958__13__277_0.pdf title "An addition to "Logic of many-sorted theories"".
- CM_1956-1958__13__277_0.pdf url CM_1956-1958__13__277_0.pdf.
- CM_1956-1958__13__277_0.pdf volume "13".
- CM_1956-1958__13__277_0.pdf year "1958".