Works matching IS 09425616 AND DT 1967 AND VI 13 AND IP 7-12

Results: 9

Masthead.

Published in:: Mathematical Logic Quarterly, 1967, v. 13, n. 7-12, p. fmi, doi. 10.1002/malq.19670130701
Publication type:: Article

Mathematics of Incompleteness and Undecidability.

Published in:

Mathematical Logic Quarterly, 1967, v. 13, n. 7-12, p. 123, doi. 10.1002/malq.19670130705

By:

Vučković, Vladeta

Publication type:

Article

On Recursive Enumeration Without Repetition: A Correction.

Published in:

Mathematical Logic Quarterly, 1967, v. 13, n. 7-12, p. 99, doi. 10.1002/malq.19670130703

By:

Lachlan, A. H.

Publication type:

Article

Certain Directed Post Systems and Automata.

Published in:

Mathematical Logic Quarterly, 1967, v. 13, n. 7-12, p. 151, doi. 10.1002/malq.19670130706

By:

Baer, R. M.

Publication type:

Article

Generator Classes in Set Theory.

Published in:

Mathematical Logic Quarterly, 1967, v. 13, n. 7-12, p. 97, doi. 10.1002/malq.19670130702

By:

Vopênka, P.;
Balcar, B.

Publication type:

Article

Natural Hulls and Set Existence.

Published in:

Mathematical Logic Quarterly, 1967, v. 13, n. 7-12, p. 175, doi. 10.1002/malq.19670130707

By:

Wang, Hao

Publication type:

Article

Normale Algorithmen Ohne Abbrechende Regeln.

Published in:

Mathematical Logic Quarterly, 1967, v. 13, n. 7-12, p. 189, doi. 10.1002/malq.19670130709

By:

Greifswald, Peter Schreiber

Publication type:

Article

Selektive Graphschemata.

Published in:

Mathematical Logic Quarterly, 1967, v. 13, n. 7-12, p. 101, doi. 10.1002/malq.19670130704

By:

Kunze, Jürgen

Publication type:

Article

On Axioms of Conditional Set Existence.

Published in:

Mathematical Logic Quarterly, 1967, v. 13, n. 7-12, p. 183, doi. 10.1002/malq.19670130708

By:

Wang, Hao

Publication type:

Article