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:

Dlab, Vlastimil

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:

Rose, Alan

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:

Turquette, Atwell R.

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:

Kühnrich, Martin

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:

Bagemihl, Frederick

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:

Kirin, Vladimir G.

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:

Hoehnke, Hans-Jürgen

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:

Apelt, Harry

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:

Zelinka, Bohdan

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:

Klaua, Dieter

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:

Scarpellini, Bruno

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:

Burmeister, Peter;
Schmidt, Jürgen

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:

Starke, Peter H.

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:

Schreiber, Peter

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:

Kunze, Jürgen

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:

Leblanc, Hugues;
Thomason, Richmond H.

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:

Rohleder, H.

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:

McLaughlin, T. G.

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:

Martin, Donald A.

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:

Rautenberg, Wolfgang

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:

Goodstein, R. L.;
Lee, R. D.

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:

Bull, R. A.

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:

Kreider, D. L.;
Ritchie, R. W.

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:

Makinson, D.

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:

Asser, Günter

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:

Blikle, Andrzej J.

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:

Loveland, Donald

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:

Hauschild, Kurt

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:

van Fraassen, B. C.

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:

Parikh, R. J.

Publication type:

Article