Search dblp for Publications

export results for "toc:db/journals/apal/apal40.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics