Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 23
Volume 23, Numbers 1-6, 1977
- John L. Hickman:
Some Results on Series of Ordinals. 1-18 - Klaus Gloede:
The Metamathematics of Infinitary Set Theoretical Systems. 19-44 - John T. Kearns:
The Logic of Calculation. 45-58 - G. J. Logan:
Closure Algebras and T1-Spaces. 91-92 - G. J. Logan:
Closure Algebras and Boolean Algebras. 93-96
Volume 23, Numbers 7-12, 1977
- Johann A. Makowsky, Annalisa Marcja:
Completeness Theorems For Modal Model Theory With the Montague-Chang Semantics I. 97-104 - Nigel J. Cutland:
Some Theories Having Countably Many Countable Models. 105-110 - Jean-Pierre Bénéjam:
Algebraic Characterizations of the Satisfiability of First-Order Logical Formulas and the Halting of Programs. 111-120 - Hans Georg Carstens:
The Complexity of Some Combinatorial Constructions. 121-130 - Luisa Iturrioz:
Lukasiewicz and Symmetrical Heyting Algebras. 131-136 - Bruno Scarpellini:
A New Realizability Notion for Intuitionistic Analysis. 137-167 - J. Roger Hindley:
Combinatory Reductions and Lambda Reductions Compared. 169-180 - Klaus W. Wagner:
Arithmetische und Bairesche Operatoren. 181-191
Volume 23, Numbers 13-15, 1977
- Gerhard Lischke:
Natürliche Kompliziertheitsmasze und Erhaltungssätze II. 193-200 - Jefim Kinber:
On btt-Degrees of Sets of Minimal Numbers in Gödel Numberings. 201-212 - M. J. Brockway:
A Generalization of the Boolean Filter Concept. 213-222 - Robert A. Herrmann:
A Nonstandard Generalization For Perfect Maps. 223-236 - Douglas R. Busch:
A Problem Concerning Projective Prewellorderings. 237-240
Volume 23, Numbers 16-17, 1977
- Michael Deutsch:
Zum Begriff der Wortmischung ALS Basis Für Die Arithmetik. 241-264 - Bernhard G. Goetze, Reinhard Klette
, D. Gillo:
Der Iterierte Limes Rekursiver Funktionen und Die Arithmetische Hierarchie. 265-272
Volume 23, Number 18, 1977
- Heinrich Herre, Helmut Wolter:
Entscheidbarkeit Der Theorie Der Linearen Ordnung In L. 273-282 - Rolf Lindner, Ludwig Staiger:
Erkennungs-, Masz- Und Informationstheoretische Eigenschaften Regulärer Folgenmengen. 283-287
Volume 23, Numbers 19-24, 1977
- Ju. L. Ers:
Theorie Der Numerierungen III. 289-371
Volume 23, Numbers 25-26, 1977
- B. Schweizer, A. Sklar:
The Axiomatic Characterization of Functions. 373-382 - Zdzislaw Grodzki:
The Boolean (k, m, p1, ..., pm)-Shift-Registers II (An Algebraic Approach). 383-386 - A. P. Rao:
A More Natural Alternative to Mostowski's (MFL). 387-392 - Britta Schinzel:
Decomposition of Gödelnumberings into Friedbergnumberings. 393-399 - Hans Rohleder:
Ein vollständiger Ableitungsbegriff für die Äquivalenz in einem funktionell unvollständigen dreiwertigen Aussagenkalkül. 401-404
Volume 23, Numbers 27-30, 1977
- Konrad Schultz:
Ein Standardmodell Für Skalas Mengenlehre. 405-408 - Eugen Peter Berg, Gerhard Lischke:
Zwei Sätze Für Schwache Erhaltungsmasze. 409-410 - Yvon Gauthier:
Intuitionistic Logic and Local Mathematical Theories. 411-414 - Peter H. Krauss:
Homogeneous Universal Models of Universal Theories. 415-426 - Paul C. Eklof:
Classes Closed Under Substructures and Direct Limits. 427-430 - J. Wierzejewski:
A Note on Products and Degree of Types. 431-434 - Helmut Vogel:
Ausgezeichnete Folgen Für Prädikative Ordinalzahlen und Prädikativ-Rekursive Funktionen. 435-438 - G. J. Logan:
Products of Closure Algebras and Their Dual Spaces. 439-441 - Martin Kühnkich:
Das Yoneda-Lemma in Der Zermelo-Fraenkelschen Mengentheorie. 443-446 - Andreas Baudisch:
The Theory of Abelian Groups With the Quantifier (≦ x). 447-462 - A. M. Dawes:
End Extensions Which are Models of a Given Theory. 463-467
Volume 23, Numbers 31-35, 1977
- Joachim Biskup:
On BI-Immune Isols. 469-484
Volume 23, Number 36, 1977
- Alex Blum:
Two Observations About S5. 485-486 - Dietrich Schwartz:
Sequenzenschliessen in Der Algebraischen Attributenlogik. 487-495 - Richard Routley:
Welding Semantics For Weak Strict Modal Logics into the General Framework of Modal Logic Semantics. 497-510 - Martin Weese:
Definierbare Prädikate in Booleschen Algebren I. 511-526 - Linda Wessels:
Cut Elimination in a Gentzen-Style ϵ-Calculus Without Identity. 527-538 - Volker Weispfenning:
Nullstellensätze - A Model Theoretic Framework. 539-545 - László Lovász, Péter Gács:
Some Remarks on Generalized Spectra. 547-554 - V. B. Sehtman:
A Remark on M. K. Rennie's Paper "Models for Multiply Modal Systems". 555-558
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.
last updated on 2024-04-22 20:59 CEST 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:
