Filters








6 Hits in 2.8 sec

Page 8 of Mathematical Reviews Vol. 39, Issue 1 [page]

<span title="">1970</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
From this equivalence is derived a proof that the authors’ system is consistent and complete. N.C. A. da Costa (Campinas) Leblanc, Hugues 38 On Meyer and Lambert’s quantificational calculus FQ. J.  ...  Meyer and K.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1970-01_39_1/page/8" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1970-01_39_1/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

JSL volume 33 issue 1 Cover and Front matter

<span title="">1968</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4l7nckgxmbcgvj5vxsioq6qwyq" style="color: black;">Journal of Symbolic Logic (JSL)</a> </i> &nbsp;
On the Craig-Lyndon interpolation theorem. By ARNOLD OBERSCHELP. . . 271 On Meyer and Lambert's quantificational calculus FQ.  ...  KREISEL 321 Metarecursively enumerable sets and their metadegrees. By GRAHAM C. By RICHMOND H. THOMASON 1 Universally free logic and standard quantification theory. By ROBERT K.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0022481200111193">doi:10.1017/s0022481200111193</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vu774a557nemjpsx2hudknaoc4">fatcat:vu774a557nemjpsx2hudknaoc4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725151059/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/6A2BC3E27B6CDAB5EECBA5F2C03B5511/S0022481200111193a.pdf/div-class-title-jsl-volume-33-issue-1-cover-and-front-matter-div.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/75/a5/75a57fbff2099817c2a41869e81c12aa30565657.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0022481200111193"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

JSL volume 33 issue 4 Cover and Front matter

<span title="">1969</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4l7nckgxmbcgvj5vxsioq6qwyq" style="color: black;">Journal of Symbolic Logic (JSL)</a> </i> &nbsp;
On the Craig-Lyndon interpolation theorem. By ARNOLD OBERSCHELP. . . 271 On Meyer and Lambert's quantificational calculus FQ.  ...  KREISEL 321 Metarecursively enumerable sets and their metadegrees. By GRAHAM C. By RICHMOND H. THOMASON 1 Universally free logic and standard quantification theory. By ROBERT K.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0022481200109077">doi:10.1017/s0022481200109077</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sghlf7l6xfbohowynhrd2hdldi">fatcat:sghlf7l6xfbohowynhrd2hdldi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725050237/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/D024D3BFFD698BCE3507F8322BBDA5E2/S0022481200109077a.pdf/div-class-title-jsl-volume-33-issue-4-cover-and-front-matter-div.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/74/32/743297f475953c7c654e3629885538963f604c03.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0022481200109077"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

JSL volume 33 issue 3 Cover and Front matter

<span title="">1968</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4l7nckgxmbcgvj5vxsioq6qwyq" style="color: black;">Journal of Symbolic Logic (JSL)</a> </i> &nbsp;
On the Craig-Lyndon interpolation theorem. By ARNOLD OBERSCHELP. . . 271 On Meyer and Lambert's quantificational calculus FQ.  ...  KREISEL 321 Metarecursively enumerable sets and their metadegrees. By GRAHAM C. By RICHMOND H. THOMASON 1 Universally free logic and standard quantification theory. By ROBERT K.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0022481200109909">doi:10.1017/s0022481200109909</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lcupozddpjbs3glokvvfy7lhmi">fatcat:lcupozddpjbs3glokvvfy7lhmi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501050952/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A5A0D4025B260E6387DD97D916352B4C/S0022481200109909a.pdf/div-class-title-jsl-volume-33-issue-3-cover-and-front-matter-div.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/58/cf/58cfdfe1767433faf8028b1a364f2ed3a3fb1d0a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0022481200109909"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

JSL volume 33 issue 2 Cover and Front matter

<span title="">1968</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4l7nckgxmbcgvj5vxsioq6qwyq" style="color: black;">Journal of Symbolic Logic (JSL)</a> </i> &nbsp;
On the Craig-Lyndon interpolation theorem. By ARNOLD OBERSCHELP. . . 271 On Meyer and Lambert's quantificational calculus FQ.  ...  KREISEL 321 Metarecursively enumerable sets and their metadegrees. By GRAHAM C. By RICHMOND H. THOMASON 1 Universally free logic and standard quantification theory. By ROBERT K.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0022481200110370">doi:10.1017/s0022481200110370</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/onahzywdwbbddo4xm55mtm42xq">fatcat:onahzywdwbbddo4xm55mtm42xq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190430124326/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/747C5A3DBF6246F9BCE9694145B1BF66/S0022481200110370a.pdf/div-class-title-jsl-volume-33-issue-2-cover-and-front-matter-div.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9c/93/9c939fa7d7302af31215fa118b6d2d5f802a28f9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0022481200110370"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Hommage à Hugues Leblanc, philosophe logicien

Robert Nadeau
<span title="">1986</span> <i title="Consortium Erudit"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/524apaicfbbgfbn7znk3jsji3q" style="color: black;">Philosophiques</a> </i> &nbsp;
«On Meyer and Lambert's Quantification Calculus FQ», The Journal of Symbolic Logic, vol. 33, n 0 2 (1968), pp. 275-280.  ...  «A Note on the Intuitionist and the Classical Propositional Calculus» (en collaboration avec E.W. Beth, Université d'Amsterdam), Logique et Analyse, vol. 11-12 (1960), pp. 174-176.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7202/203306ar">doi:10.7202/203306ar</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gitq7mpnqbd25jolisoq64mfza">fatcat:gitq7mpnqbd25jolisoq64mfza</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180726055610/https://www.erudit.org/fr/revues/philoso/1986-v13-n1-philoso1295/203306ar.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8c/90/8c90e460b2a4363c07a3f19ceecc036b00cb2d69.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7202/203306ar"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>