Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/mlq/mlq24.bht:"
download as .bib file
@article{DBLP:journals/mlq/BalcarH78,
author = {Bohuslav Balcar and
Petr H{\'{a}}jek},
title = {On Sequences of Degrees of Constructibility (Solution of Friedman'S
Problem 75)},
journal = {Math. Log. Q.},
volume = {24},
number = {19-24},
pages = {291--296},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241903},
doi = {10.1002/MALQ.19780241903},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BalcarH78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Baldwin78,
author = {John T. Baldwin},
title = {Some EC\({}_{\mbox{{\(\sum\)}}}\) Classes of Rings},
journal = {Math. Log. Q.},
volume = {24},
number = {31-36},
pages = {489--492},
year = {1978},
url = {https://doi.org/10.1002/malq.19780243103},
doi = {10.1002/MALQ.19780243103},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Baldwin78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bridges78,
author = {Douglas S. Bridges},
title = {A Note on Morse's Lambda-Notation in Set Theory},
journal = {Math. Log. Q.},
volume = {24},
number = {8},
pages = {113--114},
year = {1978},
url = {https://doi.org/10.1002/malq.19780240802},
doi = {10.1002/MALQ.19780240802},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bridges78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bridges78a,
author = {Douglas S. Bridges},
title = {On Weak Operator Compactness of the Unit Ball of \emph{L}(\emph{H})},
journal = {Math. Log. Q.},
volume = {24},
number = {31-36},
pages = {493--494},
year = {1978},
url = {https://doi.org/10.1002/malq.19780243104},
doi = {10.1002/MALQ.19780243104},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bridges78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bunder78,
author = {Martin W. Bunder},
title = {Equality in},
journal = {Math. Log. Q.},
volume = {24},
number = {8},
pages = {125--127},
year = {1978},
url = {https://doi.org/10.1002/malq.19780240804},
doi = {10.1002/MALQ.19780240804},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bunder78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Byrd78,
author = {Michael Byrd},
title = {On the Addition of Weakened \emph{L}-Reduction Axioms to the Brouwer
System},
journal = {Math. Log. Q.},
volume = {24},
number = {25-30},
pages = {405--408},
year = {1978},
url = {https://doi.org/10.1002/malq.19780242504},
doi = {10.1002/MALQ.19780242504},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Byrd78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ByrdH78,
author = {Michael Byrd and
Dennis Henry},
title = {Sugihara's Criterion and Some Structural Parallels Between E\({}_{\mbox{{\(\rightarrow\)}}}\)
and S3\({}_{\mbox{{\(\rightarrow\)}}}\)},
journal = {Math. Log. Q.},
volume = {24},
number = {12},
pages = {187--191},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241203},
doi = {10.1002/MALQ.19780241203},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ByrdH78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cohen78,
author = {Paul E. Cohen},
title = {Some Continuity Properties for Ultraproducts},
journal = {Math. Log. Q.},
volume = {24},
number = {19-24},
pages = {319--321},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241906},
doi = {10.1002/MALQ.19780241906},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cohen78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cohen78a,
author = {Paul E. Cohen},
title = {Iterated Forcing without Boolean Algebras},
journal = {Math. Log. Q.},
volume = {24},
number = {19-24},
pages = {323--324},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241907},
doi = {10.1002/MALQ.19780241907},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cohen78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Daley78,
author = {Robert P. Daley},
title = {On the Simplicity of Busy Beaver Sets},
journal = {Math. Log. Q.},
volume = {24},
number = {13-14},
pages = {207--224},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241303},
doi = {10.1002/MALQ.19780241303},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Daley78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Fitting78,
author = {Melvin Fitting},
title = {Elementary Formal Systems for Hyperarithmetical Relations},
journal = {Math. Log. Q.},
volume = {24},
number = {1-6},
pages = {25--30},
year = {1978},
url = {https://doi.org/10.1002/malq.19780240104},
doi = {10.1002/MALQ.19780240104},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Fitting78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Forrest78,
author = {Williams Kramer Forrest},
title = {A Note on Universal Classes with Applications to the Theory of Graphs},
journal = {Math. Log. Q.},
volume = {24},
number = {19-24},
pages = {335--346},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241909},
doi = {10.1002/MALQ.19780241909},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Forrest78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gabbay78,
author = {Dov M. Gabbay},
title = {What is a Classical Connective?},
journal = {Math. Log. Q.},
volume = {24},
number = {1-6},
pages = {37--44},
year = {1978},
url = {https://doi.org/10.1002/malq.19780240106},
doi = {10.1002/MALQ.19780240106},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gabbay78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Georgieva78,
author = {Nadejda Georgieva},
title = {An Extention of the Decidable Class of Equations Considered by Goodstein
and Lee},
journal = {Math. Log. Q.},
volume = {24},
number = {25-30},
pages = {399--404},
year = {1978},
url = {https://doi.org/10.1002/malq.19780242503},
doi = {10.1002/MALQ.19780242503},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Georgieva78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gillam78,
author = {David W. H. Gillam},
title = {A Concrete Representation Theorem for Intervals of Multirelations},
journal = {Math. Log. Q.},
volume = {24},
number = {25-30},
pages = {463--466},
year = {1978},
url = {https://doi.org/10.1002/malq.19780242515},
doi = {10.1002/MALQ.19780242515},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gillam78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gogol78,
author = {Daniel Gogol},
title = {The {\(\forall\)}\({}_{\mbox{\emph{n}}}\){\(\exists\)}-Completeness
of Zermelo-Fraenkel Set Theory},
journal = {Math. Log. Q.},
volume = {24},
number = {19-24},
pages = {289--290},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241902},
doi = {10.1002/MALQ.19780241902},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gogol78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GoodmanM78,
author = {N. Goodman and
J. Myhill},
title = {Choice Implies Excluded Middle},
journal = {Math. Log. Q.},
volume = {24},
number = {25-30},
pages = {461},
year = {1978},
url = {https://doi.org/10.1002/malq.19780242514},
doi = {10.1002/MALQ.19780242514},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/GoodmanM78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Grant78,
author = {Philip W. Grant},
title = {The Completeness of {L}},
journal = {Math. Log. Q.},
volume = {24},
number = {19-24},
pages = {357--364},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241911},
doi = {10.1002/MALQ.19780241911},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Grant78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hatcher78,
author = {William S. Hatcher},
title = {A Language for Type-Free Algebra},
journal = {Math. Log. Q.},
volume = {24},
number = {25-30},
pages = {385--397},
year = {1978},
url = {https://doi.org/10.1002/malq.19780242502},
doi = {10.1002/MALQ.19780242502},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hatcher78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hauck78,
author = {J{\"{u}}rgen Hauck},
title = {Konstruktive Darstellungen Reeller Zahlen und Folgen},
journal = {Math. Log. Q.},
volume = {24},
number = {19-24},
pages = {365--374},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241912},
doi = {10.1002/MALQ.19780241912},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hauck78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HenleK78,
author = {James M. Henle and
Eugene M. Kleinberg},
title = {A Flipping Characterization of Ramsey Cardinals},
journal = {Math. Log. Q.},
volume = {24},
number = {1-6},
pages = {31--36},
year = {1978},
url = {https://doi.org/10.1002/malq.19780240105},
doi = {10.1002/MALQ.19780240105},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HenleK78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HerreP78,
author = {Heinrich Herre and
Alexander G. Pinus},
title = {Zum Entscheidungsproblem f{\"{u}}r Theorien in Logiken mit Monadischen
Verallgemeinerten Quantoren},
journal = {Math. Log. Q.},
volume = {24},
number = {19-24},
pages = {375--384},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241913},
doi = {10.1002/MALQ.19780241913},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HerreP78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HerreW78,
author = {Heinrich Herre and
Helmut Wolter},
title = {Entscheidbarkeit der Theorie der Linearen Ordnung in {L}},
journal = {Math. Log. Q.},
volume = {24},
number = {1-6},
pages = {73--78},
year = {1978},
url = {https://doi.org/10.1002/malq.19780240110},
doi = {10.1002/MALQ.19780240110},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HerreW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Herrmann78,
author = {Robert A. Herrmann},
title = {The Nonstandard Theory of Semi-Uniform Spaces},
journal = {Math. Log. Q.},
volume = {24},
number = {15-16},
pages = {237--256},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241503},
doi = {10.1002/MALQ.19780241503},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Herrmann78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hickman78,
author = {John L. Hickman},
title = {On McBeth's Paper, "Fundamental Sequences for Initial Ordinals Smaller
than a Certain {\texttheta}\({}_{\mbox{0}}\)"},
journal = {Math. Log. Q.},
volume = {24},
number = {25-30},
pages = {441--442},
year = {1978},
url = {https://doi.org/10.1002/malq.19780242509},
doi = {10.1002/MALQ.19780242509},
timestamp = {Sun, 31 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hickman78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Horowitz78,
author = {Bruce M. Horowitz},
title = {Sets Completely Creative Via Recursive Permutations},
journal = {Math. Log. Q.},
volume = {24},
number = {25-30},
pages = {445--452},
year = {1978},
url = {https://doi.org/10.1002/malq.19780242511},
doi = {10.1002/MALQ.19780242511},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Horowitz78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hrbacek78,
author = {Karel Hrbacek},
title = {On the Complexity of Analytic Sets},
journal = {Math. Log. Q.},
volume = {24},
number = {25-30},
pages = {419--425},
year = {1978},
url = {https://doi.org/10.1002/malq.19780242506},
doi = {10.1002/MALQ.19780242506},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hrbacek78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Humke78,
author = {Paul D. Humke},
title = {A Note on Connected Coverings of the Plane},
journal = {Math. Log. Q.},
volume = {24},
number = {25-30},
pages = {453--456},
year = {1978},
url = {https://doi.org/10.1002/malq.19780242512},
doi = {10.1002/MALQ.19780242512},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Humke78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Klingen78,
author = {Norbert Klingen},
title = {Zur Modelltheorie Lokaler und Globaler K{\"{o}}rper},
journal = {Math. Log. Q.},
volume = {24},
number = {31-36},
pages = {509--522},
year = {1978},
url = {https://doi.org/10.1002/malq.19780243106},
doi = {10.1002/MALQ.19780243106},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Klingen78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Krol78,
author = {M. D. Krol},
title = {A Topological Model for Intuitionistic Analysis with Kripke's Scheme},
journal = {Math. Log. Q.},
volume = {24},
number = {25-30},
pages = {427--436},
year = {1978},
url = {https://doi.org/10.1002/malq.19780242507},
doi = {10.1002/MALQ.19780242507},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Krol78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kuhnrich78,
author = {Martin K{\"{u}}hnrich},
title = {Superclasses in a Finite Extension of Zermelo Set Theory},
journal = {Math. Log. Q.},
volume = {24},
number = {31-36},
pages = {539--552},
year = {1978},
url = {https://doi.org/10.1002/malq.19780243108},
doi = {10.1002/MALQ.19780243108},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kuhnrich78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lachlan78,
author = {Alistair H. Lachlan},
title = {Spectra of {\(\omega\)}-Stable Theories},
journal = {Math. Log. Q.},
volume = {24},
number = {9-11},
pages = {129--139},
year = {1978},
url = {https://doi.org/10.1002/malq.19780240902},
doi = {10.1002/MALQ.19780240902},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lachlan78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lau78,
author = {Dietlinde Lau},
title = {Bestimmung der Ordnung Maximaler Klassen von Funktionen der \emph{k}-Wertigen
Logik},
journal = {Math. Log. Q.},
volume = {24},
number = {1-6},
pages = {79--96},
year = {1978},
url = {https://doi.org/10.1002/malq.19780240111},
doi = {10.1002/MALQ.19780240111},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lau78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lopez78,
author = {G{\'{e}}rard Lopez},
title = {L'Indeformabilite des Relations et Multirelations Binaires},
journal = {Math. Log. Q.},
volume = {24},
number = {19-24},
pages = {303--317},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241905},
doi = {10.1002/MALQ.19780241905},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lopez78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lowig78,
author = {H. F. J. Lowig},
title = {Vollst{\"{a}}ndige Mengen von Algebren},
journal = {Math. Log. Q.},
volume = {24},
number = {1-6},
pages = {45--53},
year = {1978},
url = {https://doi.org/10.1002/malq.19780240107},
doi = {10.1002/MALQ.19780240107},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lowig78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Margenstern78,
author = {Maurice Margenstern},
title = {On a Variant of Constructivisation of the Theory of Almost Periodic
Functions},
journal = {Math. Log. Q.},
volume = {24},
number = {31-36},
pages = {495--507},
year = {1978},
url = {https://doi.org/10.1002/malq.19780243105},
doi = {10.1002/MALQ.19780243105},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Margenstern78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Muzalewski78,
author = {Michall Muzalewski},
title = {Restricted Decision Problems in Some Classes of Algebraic Systems},
journal = {Math. Log. Q.},
volume = {24},
number = {17-18},
pages = {279--287},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241703},
doi = {10.1002/MALQ.19780241703},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Muzalewski78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ottmann78,
author = {Thomas Ottmann},
title = {Eine Einfache Universelle Menge Endlicher Automaten},
journal = {Math. Log. Q.},
volume = {24},
number = {1-6},
pages = {55--61},
year = {1978},
url = {https://doi.org/10.1002/malq.19780240108},
doi = {10.1002/MALQ.19780240108},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ottmann78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Paillet78,
author = {Jean{-}Luc Paillet},
title = {Une Etude sur des Structures Ayant une Certaine Propriete de Seuil
Pour les Automorphismes Elementaires},
journal = {Math. Log. Q.},
volume = {24},
number = {1-6},
pages = {7--24},
year = {1978},
url = {https://doi.org/10.1002/malq.19780240103},
doi = {10.1002/MALQ.19780240103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Paillet78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pinter78,
author = {Charles C. Pinter},
title = {Properties Preserved under Definitional Equivalence and Interpretations},
journal = {Math. Log. Q.},
volume = {24},
number = {31-36},
pages = {481--488},
year = {1978},
url = {https://doi.org/10.1002/malq.19780243102},
doi = {10.1002/MALQ.19780243102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Pinter78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Poizat78,
author = {Bruno Poizat},
title = {Etude D'Un Forcing en Th{\'{e}}orie des Mod{\`{e}}les},
journal = {Math. Log. Q.},
volume = {24},
number = {19-24},
pages = {347--356},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241910},
doi = {10.1002/MALQ.19780241910},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Poizat78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Potthoff78,
author = {K. Potthoff},
title = {Orderings of Types of Countable Arithmetic},
journal = {Math. Log. Q.},
volume = {24},
number = {7},
pages = {97--108},
year = {1978},
url = {https://doi.org/10.1002/malq.19780240702},
doi = {10.1002/MALQ.19780240702},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Potthoff78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ristow78,
author = {Allan W. Ristow},
title = {The Existence of Certain Partitions on Cartesian Products},
journal = {Math. Log. Q.},
volume = {24},
number = {19-24},
pages = {325--333},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241908},
doi = {10.1002/MALQ.19780241908},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ristow78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Rose78,
author = {Alan Rose},
title = {A Note on Formalisation by the Method of Description of Truth-Tables},
journal = {Math. Log. Q.},
volume = {24},
number = {7},
pages = {109--112},
year = {1978},
url = {https://doi.org/10.1002/malq.19780240703},
doi = {10.1002/MALQ.19780240703},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Rose78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Rose78a,
author = {Alan Rose},
title = {A Three-Valued Model for Set Theory},
journal = {Math. Log. Q.},
volume = {24},
number = {25-30},
pages = {437--440},
year = {1978},
url = {https://doi.org/10.1002/malq.19780242508},
doi = {10.1002/MALQ.19780242508},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Rose78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ryan78,
author = {William Ryan},
title = {G{\"{o}}del's Second Incompleteness Theorem for General Recursive
Arithmetic},
journal = {Math. Log. Q.},
volume = {24},
number = {25-30},
pages = {457--459},
year = {1978},
url = {https://doi.org/10.1002/malq.19780242513},
doi = {10.1002/MALQ.19780242513},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ryan78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schmidt78,
author = {Diana Schmidt},
title = {Associative Ordinal Functions, Well Partial Orderings and a Problem
of Skolem},
journal = {Math. Log. Q.},
volume = {24},
number = {19-24},
pages = {297--302},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241904},
doi = {10.1002/MALQ.19780241904},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schmidt78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schwartz78,
author = {Dietrich Schwartz},
title = {Kanonische Abbildungen und Eilenberg-Maschinen},
journal = {Math. Log. Q.},
volume = {24},
number = {12},
pages = {177--186},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241202},
doi = {10.1002/MALQ.19780241202},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schwartz78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Scott78,
author = {Philip J. Scott},
title = {The "Dialectica" Interpretation and Categories},
journal = {Math. Log. Q.},
volume = {24},
number = {31-36},
pages = {553--575},
year = {1978},
url = {https://doi.org/10.1002/malq.19780243109},
doi = {10.1002/MALQ.19780243109},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Scott78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Seese78,
author = {Detlef Seese},
title = {{\"{U}}ber Unentscheidbare Erweiterungen von {SC}},
journal = {Math. Log. Q.},
volume = {24},
number = {1-6},
pages = {63--71},
year = {1978},
url = {https://doi.org/10.1002/malq.19780240109},
doi = {10.1002/MALQ.19780240109},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Seese78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Shore78,
author = {Richard A. Shore},
title = {Some More Minimal Pairs of {\(\alpha\)}-Recursively Enumerable Degrees},
journal = {Math. Log. Q.},
volume = {24},
number = {25-30},
pages = {409--418},
year = {1978},
url = {https://doi.org/10.1002/malq.19780242505},
doi = {10.1002/MALQ.19780242505},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Shore78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Skordev78,
author = {Dimiter Skordev},
title = {A Normal form Theorem for Recursive Operators in Iterative Combinatory
Spaces},
journal = {Math. Log. Q.},
volume = {24},
number = {8},
pages = {115--124},
year = {1978},
url = {https://doi.org/10.1002/malq.19780240803},
doi = {10.1002/MALQ.19780240803},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Skordev78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/StaigerW78,
author = {Ludwig Staiger and
Klaus W. Wagner},
title = {Rekursive Folgenmengen {I}},
journal = {Math. Log. Q.},
volume = {24},
number = {31-36},
pages = {523--538},
year = {1978},
url = {https://doi.org/10.1002/malq.19780243107},
doi = {10.1002/MALQ.19780243107},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/StaigerW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Stark78,
author = {W. Richard Stark},
title = {A Forcing Approach to Strict-\emph{II}\({}_{\mbox{1}}\)\({}^{\mbox{1}}\)
Reflection and Strict-\emph{II}\({}_{\mbox{1}}\)\({}^{\mbox{1}}\)
= {\(\sum\)}\({}_{\mbox{0}}\)\({}^{\mbox{1}}\)},
journal = {Math. Log. Q.},
volume = {24},
number = {25-30},
pages = {467--479},
year = {1978},
url = {https://doi.org/10.1002/malq.19780242516},
doi = {10.1002/MALQ.19780242516},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Stark78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Turquette78,
author = {Atwell R. Turquette},
title = {Alternative Axioms for Peirce's Triadic Logic},
journal = {Math. Log. Q.},
volume = {24},
number = {25-30},
pages = {443--444},
year = {1978},
url = {https://doi.org/10.1002/malq.19780242510},
doi = {10.1002/MALQ.19780242510},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Turquette78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Weese78,
author = {Martin Weese},
title = {Definierbare Pr{\"{a}}dikate in Booleschen Algebren {II}},
journal = {Math. Log. Q.},
volume = {24},
number = {17-18},
pages = {257--278},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241702},
doi = {10.1002/MALQ.19780241702},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Weese78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-25 01:51 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
