Works matching IS 09425616 AND DT 1989 AND VI 35 AND IP 6

Results: 14

Zum Reduktionstyp ∃<sup>∞</sup>∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ-Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃<sup>∞</sup>∀∃∀ (ϱ, 1)

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 6, p. 517, doi. 10.1002/malq.19890350607

By:

Deutsch, Michael

Publication type:

Article

The Model Completion of the Theory of All Partially Ordered Sets.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 6, p. 481, doi. 10.1002/malq.19890350602

By:

Puninskij, G. E.

Publication type:

Article

Masthead.

Published in:: Mathematical Logic Quarterly, 1989, v. 35, n. 6, p. fmi, doi. 10.1002/malq.19890350601
Publication type:: Article

Logic For Reasoning About Knowledge.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 6, p. 559, doi. 10.1002/malq.19890350612

By:

Orlowska, Ewa

Publication type:

Article

A Theory of Ambiguous Types and Its Axiomatizations.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 6, p. 495, doi. 10.1002/malq.19890350605

By:

Kuzichev, Andrey A.

Publication type:

Article

Models of Set Theory in Which Every Normal Precipitous Ideal is Uniformly Normed.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 6, p. 537, doi. 10.1002/malq.19890350609

By:

Takahashi, Juji

Publication type:

Article

Bemerkungen Zur Semantik Nicht-Normaler Möglicher Welten.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 6, p. 551, doi. 10.1002/malq.19890350611

By:

Wansing, Heinrich

Publication type:

Article

Linked Double Weak Stone Algebras.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 6, p. 485, doi. 10.1002/malq.19890350604

By:

Sankappanavar, Hanamantagouda P.

Publication type:

Article

A New Approach to Constructive Topology and Measure Theory.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 6, p. 539, doi. 10.1002/malq.19890350610

By:

Khalifa, A. K.

Publication type:

Article

Ternary Operations as Primitive Notions for Constructive Plane Geometry.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 6, p. 531, doi. 10.1002/malq.19890350608

By:

Pambuccian, Victor

Publication type:

Article

An Addition to 'Cut Elimination in ϵ-Calculi'.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 6, p. 483, doi. 10.1002/malq.19890350603

By:

Yasuhara, Mitsuru

Publication type:

Article

Correction to 'Embedding Properties and Anti-Foundation in Set Theory'.

Published in:

1989

By:

Hinnion, Roland

Publication type:

Erratum

On A Reconstruction of Models in Models with Only One Binary Relation: A Correction.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 6, p. 573, doi. 10.1002/malq.19890350613

By:

Pazdyka, Pawel

Publication type:

Article

Construction of An Equality Relation on a Set with Coequality Relation.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 6, p. 515, doi. 10.1002/malq.19890350606

By:

Romano, Daniel A.

Publication type:

Article