Works matching IS 09425616 AND DT 1974 AND VI 20 AND IP 25-27

Results: 8

Masthead.

Published in:: Mathematical Logic Quarterly, 1974, v. 20, n. 25-27, p. fmi, doi. 10.1002/malq.19740202501
Publication type:: Article

Modal Models Corresponding to Models.

Published in:

Mathematical Logic Quarterly, 1974, v. 20, n. 25-27, p. 407, doi. 10.1002/malq.19740202505

By:

Stahl, Gerold

Publication type:

Article

Orthomodular Logic.

Published in:

Mathematical Logic Quarterly, 1974, v. 20, n. 25-27, p. 395, doi. 10.1002/malq.19740202504

By:

Kalmbach, Gudrun

Publication type:

Article

A Theory of Equality for a Class of Many-Valued Predicate Calculi.

Published in:

Mathematical Logic Quarterly, 1974, v. 20, n. 25-27, p. 427, doi. 10.1002/malq.19740202508

By:

Morgan, Charles G.

Publication type:

Article

On Compact Cardinals.

Published in:

Mathematical Logic Quarterly, 1974, v. 20, n. 25-27, p. 389, doi. 10.1002/malq.19740202503

By:

Bell, J. L.

Publication type:

Article

Almost Recursivity and Partial Degrees.

Published in:

Mathematical Logic Quarterly, 1974, v. 20, n. 25-27, p. 419, doi. 10.1002/malq.19740202507

By:

Vuckovic, Vladeta

Publication type:

Article

Post Completeness and Ultrafilters.

Published in:

Mathematical Logic Quarterly, 1974, v. 20, n. 25-27, p. 385, doi. 10.1002/malq.19740202502

By:

Makinson, David;
Segerberg, Krister

Publication type:

Article

Provability in Elementary Type Theory.

Published in:

Mathematical Logic Quarterly, 1974, v. 20, n. 25-27, p. 411, doi. 10.1002/malq.19740202506

By:

Andrews, Peter B.

Publication type:

Article