Works matching IS 09425616 AND DT 1979 AND VI 25 AND IP 13-18

Results: 10

The Completeness of Presupposition-Free Tense Logic.

Published in:

Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 193, doi. 10.1002/malq.19790251302

By:

Barnes, Robert F.;
Gumb, Raymond D.

Publication type:

Article

Extensional Characterization of Index Sets.

Published in:

Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 227, doi. 10.1002/malq.19790251306

By:

Hay, Louise;
Johnson, Nancy

Publication type:

Article

Masthead.

Published in:: Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. fmi, doi. 10.1002/malq.19790251301
Publication type:: Article

Effective Transformations on Probabilistic Data.

Published in:

Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 219, doi. 10.1002/malq.19790251305

By:

Bergstra, Jan

Publication type:

Article

Forcing in Ackermanns Mengenlehre.

Published in:

Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 265, doi. 10.1002/malq.19790251309

By:

Alkor, C.

Publication type:

Article

On a Formalization of the Non-Definedness Notion.

Published in:

Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 213, doi. 10.1002/malq.19790251304

By:

Hoogewijs, Albert

Publication type:

Article

A Jump Operator in Set Recursion.

Published in:

Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 251, doi. 10.1002/malq.19790251308

By:

Normann, Dag

Publication type:

Article

Negation-Free Modal Logics.

Published in:

Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 281, doi. 10.1002/malq.19790251310

By:

Schumm, George F.;
Edelstein, Roy

Publication type:

Article

Über Halbordnungen von WT-Graden in e-Graden.

Published in:

Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 209, doi. 10.1002/malq.19790251303

By:

Hebeisen, Freidrich

Publication type:

Article

Domino f-Sets.

Published in:

Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 235, doi. 10.1002/malq.19790251307

By:

Straight, David W.

Publication type:

Article