Works matching IS 09425616 AND DT 1976 AND VI 22 AND IP 1
Results: 64
Zur Programmkomplexität Rekursiv Aufzählbarer Mengen.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 239, doi. 10.1002/malq.19760220132
- By:
- Publication type:
- Article
The Complete Axiomatisation of any Many-Valued Propositional Logic.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 299, doi. 10.1002/malq.19760220140
- By:
- Publication type:
- Article
Universal Complete Boolean Algebras and Cardinal Collapsing.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 161, doi. 10.1002/malq.19760220121
- By:
- Publication type:
- Article
The Boolean (k, m, p<sub>1</sub>,..., p<sub>m</sub>)-Shift-Registers I.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 517, doi. 10.1002/malq.19760220161
- By:
- Publication type:
- Article
Fundamental Sequences for Initial Ordinals Smaller than a Certain Θ<sub>0</sub>.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 97, doi. 10.1002/malq.19760220111
- By:
- Publication type:
- Article
Natürliche Kompliziertheitsmasze und Erhaltungssätze I.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 413, doi. 10.1002/malq.19760220150
- By:
- Publication type:
- Article
Eine Klassifizierung Endlich Erzeugbarer Gruppen Durch Formale Sprachen.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 419, doi. 10.1002/malq.19760220151
- By:
- Publication type:
- Article
Ein Rekursiv Aufzählbarer btt-Grad, der Nicht Zum Wortproblem Einer Gruppe Gehört.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 165, doi. 10.1002/malq.19760220122
- By:
- Publication type:
- Article
Algebraic Semantics for Modal Predicate Logic.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 523, doi. 10.1002/malq.19760220162
- By:
- Publication type:
- Article
Relatively Complete Theories.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 245, doi. 10.1002/malq.19760220133
- By:
- Publication type:
- Article
A Neighbourhood Frame for T with No Equivalent Relational Frame.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 29, doi. 10.1002/malq.19760220104
- By:
- Publication type:
- Article
Zur Präfixoptimalität Gewisser ∄ ... ∄-Darstellungen Aufzählbarer Prädikate.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 339, doi. 10.1002/malq.19760220144
- By:
- Publication type:
- Article
A Formalisation of the Integers in a Multi-Successor Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 119, doi. 10.1002/malq.19760220115
- By:
- Publication type:
- Article
On a Property of Matrices for Subsystems of IC<sup>+</sup>.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 193, doi. 10.1002/malq.19760220126
- By:
- Publication type:
- Article
The Isomorphism Problem of Superatomic Boolean Algebras.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 439, doi. 10.1002/malq.19760220155
- By:
- Publication type:
- Article
On the Number of Solovay r-Degrees.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 283, doi. 10.1002/malq.19760220137
- By:
- Publication type:
- Article
Concerning Completeness and Abelian Semigroups.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 85, doi. 10.1002/malq.19760220108
- By:
- Publication type:
- Article
On the Definition of Computable Function of a Real Variable.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 391, doi. 10.1002/malq.19760220148
- By:
- Publication type:
- Article
Das Homomorphietheorem für MV-Algebren Endlicher Ordnung.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 141, doi. 10.1002/malq.19760220119
- By:
- Publication type:
- Article
A Completeness Result for Quantificational Tense Logic.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 89, doi. 10.1002/malq.19760220110
- By:
- Publication type:
- Article
Remarks on Self-Extending Models.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 509, doi. 10.1002/malq.19760220159
- By:
- Publication type:
- Article
Die Teilweise Geordnete Menge ϕ<sub>k</sub> der Vertauschbarkeitsmengen der K-Wertigen Logik.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 19, doi. 10.1002/malq.19760220103
- By:
- Publication type:
- Article
Elementary Equivalence and Constructible Models of Zermelo-Fraenkel Set Theory.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 333, doi. 10.1002/malq.19760220143
- By:
- Publication type:
- Article
A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 117, doi. 10.1002/malq.19760220114
- By:
- Publication type:
- Article
Generalization of a Result of Pahi's.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 437, doi. 10.1002/malq.19760220154
- By:
- Publication type:
- Article
The Structure of the Lattice of Recursive Sets.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 187, doi. 10.1002/malq.19760220125
- By:
- Publication type:
- Article
Berechenbare Reelle Funktionenfolgen.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 265, doi. 10.1002/malq.19760220136
- By:
- Publication type:
- Article
Sentences Preserved between Equivalent Topological Bases.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 79, doi. 10.1002/malq.19760220107
- By:
- Publication type:
- Article
The Inequivalence of Two Well-Known Notions of Randomness for Binary Sequences.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 385, doi. 10.1002/malq.19760220147
- By:
- Publication type:
- Article
Entscheidungsprobleme für Autonome Mehrbandautomaten.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 131, doi. 10.1002/malq.19760220118
- By:
- Publication type:
- Article
Elements of Intuitionistic Analysis II the Stone-Weierstrass Theorem and Ascoli's Theorem.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 501, doi. 10.1002/malq.19760220158
- By:
- Publication type:
- Article
Ein Rekursiv Definiertes Geordnetes Paar.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 211, doi. 10.1002/malq.19760220129
- By:
- Publication type:
- Article
Fuzzy Membership Mapped onto Intervals and Many-Valued Quantities.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 149, doi. 10.1002/malq.19760220120
- By:
- Publication type:
- Article
A formal definition of the set of the logical connectors of pragmatics.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 513, doi. 10.1002/malq.19760220160
- By:
- Publication type:
- Article
Indexmengen und Erkennung Rekursiver Funktionen.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 231, doi. 10.1002/malq.19760220131
- By:
- Publication type:
- Article
Sortability and Extensibility of the Graphs of Recursively Enumerable Partial and Total Orders.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 1, doi. 10.1002/malq.19760220102
- By:
- Publication type:
- Article
Deduction Theorems for T, E and R Reconsidered.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 261, doi. 10.1002/malq.19760220135
- By:
- Publication type:
- Article
Trees and Isols II.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 45, doi. 10.1002/malq.19760220106
- By:
- Publication type:
- Article
Reversible Automaten und Einfache Universelle 2-Dimensionale Thue-Systeme.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 353, doi. 10.1002/malq.19760220146
- By:
- Publication type:
- Article
[Russian Text Ignored].
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 311, doi. 10.1002/malq.19760220142
- Publication type:
- Article
Compactness Without Languages.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 113, doi. 10.1002/malq.19760220113
- By:
- Publication type:
- Article
Classes of One-Argument Recursive Functions.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 127, doi. 10.1002/malq.19760220117
- By:
- Publication type:
- Article
Einige Bemerkungen Zur Peano-Arithmetik.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 431, doi. 10.1002/malq.19760220153
- By:
- Publication type:
- Article
Completely Autoreducible Degrees.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 571, doi. 10.1002/malq.19760220164
- By:
- Publication type:
- Article
Formalisations With Non-Standard Degrees of Completeness.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 177, doi. 10.1002/malq.19760220124
- By:
- Publication type:
- Article
Quasi-Boolean Algebras, Empirical Continuity and Three-Valued Logic J. P. Cleave in Bristol (Great Britain).
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 481, doi. 10.1002/malq.19760220157
- By:
- Publication type:
- Article
Logics Which Are Characterized by Subresiduated Lattices.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 199, doi. 10.1002/malq.19760220128
- By:
- Publication type:
- Article
Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 289, doi. 10.1002/malq.19760220139
- By:
- Publication type:
- Article
Entscheidbarkeit in Speziellen Uniformen Strukturen Bezüglich Sprachen Mit Mächtigkeitsquantoren.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 215, doi. 10.1002/malq.19760220130
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. fmi, doi. 10.1002/malq.19760220101
- Publication type:
- Article