default search action
Search dblp for Publications
export results for "toc:db/journals/apal/apal40.bht:"
@article{DBLP:journals/apal/FriedmanS88, author = {Harvey M. Friedman and Michael Sheard}, title = {The disjunction and existence properties for axiomatic systems of truth}, journal = {Ann. Pure Appl. Log.}, volume = {40}, number = {1}, pages = {1--10}, year = {1988}, url = {https://doi.org/10.1016/0168-0072(88)90038-3}, doi = {10.1016/0168-0072(88)90038-3}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/FriedmanS88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/GermanoM88, author = {G. M. Germano and Stefano Mazzanti}, title = {Primitive iteration and unary functions}, journal = {Ann. Pure Appl. Log.}, volume = {40}, number = {3}, pages = {217--256}, year = {1988}, url = {https://doi.org/10.1016/0168-0072(88)90032-2}, doi = {10.1016/0168-0072(88)90032-2}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/GermanoM88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Hyland88, author = {J. M. E. Hyland}, title = {A small complete category}, journal = {Ann. Pure Appl. Log.}, volume = {40}, number = {2}, pages = {135--165}, year = {1988}, url = {https://doi.org/10.1016/0168-0072(88)90018-8}, doi = {10.1016/0168-0072(88)90018-8}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Hyland88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Longo88, author = {Giuseppe Longo}, title = {On church's formal theory of functions and functionals: The {\(\lambda\)}-calculus: connections to higher type recursion theory, proof theory, category theory}, journal = {Ann. Pure Appl. Log.}, volume = {40}, number = {2}, pages = {93--133}, year = {1988}, url = {https://doi.org/10.1016/0168-0072(88)90017-6}, doi = {10.1016/0168-0072(88)90017-6}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Longo88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Lubarsky88, author = {Robert S. Lubarsky}, title = {Admissibility spectra and minimality}, journal = {Ann. Pure Appl. Log.}, volume = {40}, number = {3}, pages = {257--276}, year = {1988}, url = {https://doi.org/10.1016/0168-0072(88)90033-4}, doi = {10.1016/0168-0072(88)90033-4}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Lubarsky88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Makkai88, author = {Michael Makkai}, title = {Strong conceptual completeness for first-order logic}, journal = {Ann. Pure Appl. Log.}, volume = {40}, number = {2}, pages = {167--215}, year = {1988}, url = {https://doi.org/10.1016/0168-0072(88)90019-X}, doi = {10.1016/0168-0072(88)90019-X}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Makkai88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/SaracinoW88, author = {Dan Saracino and Carol Wood}, title = {Homogeneous finite rings in characteristic 2\({}^{\mbox{n}}\)}, journal = {Ann. Pure Appl. Log.}, volume = {40}, number = {1}, pages = {11--28}, year = {1988}, url = {https://doi.org/10.1016/0168-0072(88)90039-5}, doi = {10.1016/0168-0072(88)90039-5}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/SaracinoW88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Scowcroft88, author = {Philip Scowcroft}, title = {A transfer theorem in constructive real algebra}, journal = {Ann. Pure Appl. Log.}, volume = {40}, number = {1}, pages = {29--87}, year = {1988}, url = {https://doi.org/10.1016/0168-0072(88)90040-1}, doi = {10.1016/0168-0072(88)90040-1}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Scowcroft88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Shelah88, author = {Saharon Shelah}, title = {Number of strongly aleph\({}_{\mbox{{\(\varepsilon\)}}}\)-saturated models - an addition}, journal = {Ann. Pure Appl. Log.}, volume = {40}, number = {1}, pages = {89--91}, year = {1988}, url = {https://doi.org/10.1016/0168-0072(88)90041-3}, doi = {10.1016/0168-0072(88)90041-3}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/Shelah88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Shore88, author = {Richard A. Shore}, title = {A non-inversion theorem for the jump operator}, journal = {Ann. Pure Appl. Log.}, volume = {40}, number = {3}, pages = {277--303}, year = {1988}, url = {https://doi.org/10.1016/0168-0072(88)90034-6}, doi = {10.1016/0168-0072(88)90034-6}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Shore88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.