Works matching IS 09425616 AND DT 1966 AND VI 12 AND IP 1
Results: 31
Algebraic Dependence Structures.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 345, doi. 10.1002/malq.19660120130
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. fmi, doi. 10.1002/malq.19660120101
- Publication type:
- Article
A Formalisation of the m-Valued Lukasiewicz Implicational Propositional Calculus with Variable Functors.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 169, doi. 10.1002/malq.19660120112
- By:
- Publication type:
- Article
A Method for Constructing Implication Logics.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 267, doi. 10.1002/malq.19660120123
- By:
- Publication type:
- Article
Über den Begriff des Universums.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 37, doi. 10.1002/malq.19660120105
- By:
- Publication type:
- Article
Ambiguous Points of Arbitrary Planar Sets and Functions.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 205, doi. 10.1002/malq.19660120116
- By:
- Publication type:
- Article
Über die Entbehrlichkeit von Hilfsbuchstaben bei der Berechnung Mehrstelliger Wortfunktionen Durch Markowsche Algorithmen.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 241, doi. 10.1002/malq.19660120119
- By:
- Publication type:
- Article
Gentzen's Method for the Many-Valued Propositional Calculi.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 317, doi. 10.1002/malq.19660120127
- By:
- Publication type:
- Article
Axiomatische Untersuchungen über Einige mit der Presburgerschen Arithmetik Verwandte Systeme.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 131, doi. 10.1002/malq.19660120111
- By:
- Publication type:
- Article
Sur le PS-Isomorphisme des Langues.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 263, doi. 10.1002/malq.19660120122
- By:
- Publication type:
- Article
Universen und Universale Allmengen in Einer Mengenlehre mit Transfiniten Stufen.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 23, doi. 10.1002/malq.19660120104
- By:
- Publication type:
- Article
On a Family of Models of Zermelo-Fraenkel Set Theory.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 191, doi. 10.1002/malq.19660120115
- By:
- Publication type:
- Article
Zur Strukturgleichheit Axiomatischer Klassen.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 69, doi. 10.1002/malq.19660120109
- By:
- Publication type:
- Article
Das Syntheseproblem der Schaltalgebra und Seine Mathematische Formulierung.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 13, doi. 10.1002/malq.19660120103
- By:
- Publication type:
- Article
Two Remarks on Indecomposable Number Sets.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 187, doi. 10.1002/malq.19660120114
- By:
- Publication type:
- Article
Über die Dimension Einer Partiellen Algebra mit Endlichen Oder Unendlichen Operationen. II.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 311, doi. 10.1002/malq.19660120126
- By:
- Publication type:
- Article
Stochastische Ereignisse und Wortmengen.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 61, doi. 10.1002/malq.19660120108
- By:
- Publication type:
- Article
Theoretische Probleme der Automatischen Übersetzung.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 85, doi. 10.1002/malq.19660120110
- By:
- Publication type:
- Article
The Demarcation Line Between Intuitionist Logic and Classical Logic.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 257, doi. 10.1002/malq.19660120121
- By:
- Publication type:
- Article
Classes of Recursively Enumerable Sets and Degrees of Unsolvability.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 295, doi. 10.1002/malq.19660120125
- By:
- Publication type:
- Article
Über Hilberts Schnittpunktsätze.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 57, doi. 10.1002/malq.19660120107
- By:
- Publication type:
- Article
A Decidable Class of Equations in Recursive Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 235, doi. 10.1002/malq.19660120118
- By:
- Publication type:
- Article
That All Normal Extensions of S4.3 Have the Finite Model Property.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 341, doi. 10.1002/malq.19660120129
- By:
- Publication type:
- Article
A Basis Theorem for a Class of Two-Way Automata.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 243, doi. 10.1002/malq.19660120120
- By:
- Publication type:
- Article
On Some Completeness Theorems in Modal Logic.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 379, doi. 10.1002/malq.19660120131
- By:
- Publication type:
- Article
Über Eine Darstellung der Rekursiven Wortfunktionen in Endlichen Automaten.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 1, doi. 10.1002/malq.19660120102
- By:
- Publication type:
- Article
Formalisation of Parenthesis-Free Languages.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 177, doi. 10.1002/malq.19660120113
- By:
- Publication type:
- Article
A New Interpretation of the von Mises' Concept of Random Sequence.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 279, doi. 10.1002/malq.19660120124
- By:
- Publication type:
- Article
Bemerkungen, das Fundierungsaxiom Betreffend.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 51, doi. 10.1002/malq.19660120106
- By:
- Publication type:
- Article
The Completeness of Free Logic.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 219, doi. 10.1002/malq.19660120117
- By:
- Publication type:
- Article
Some Generalisations of the Notion of Well Ordering.
- Published in:
- Mathematical Logic Quarterly, 1966, v. 12, n. 1, p. 333, doi. 10.1002/malq.19660120128
- By:
- Publication type:
- Article