Works matching IS 09425616 AND DT 1988 AND VI 34 AND IP 3

Results: 13

Maximal Deductive Systems and Injective Objects in the Category of Hilbert Algebras.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 3, p. 213, doi. 10.1002/malq.19880340305

By:

Gluschankof, Daniel;
Tilli, Miguel

Publication type:

Article

Binary Relations Over the Category of Enumerated Sets.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 3, p. 265, doi. 10.1002/malq.19880340310

By:

Orlicki, A.

Publication type:

Article

Products of 3 or 4 Ordinals.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 3, p. 201, doi. 10.1002/malq.19880340303

By:

Zuckerman, Martin M.

Publication type:

Article

Provable Fixed Points.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 3, p. 229, doi. 10.1002/malq.19880340307

By:

De Jongh, Dick;
Montagna, Franco

Publication type:

Article

Sur La Reconstruction Des Ordres Totaux.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 3, p. 193, doi. 10.1002/malq.19880340302

By:

Hagendorf, Jean Guillaume

Publication type:

Article

Vaught Sentences and the Covering Theorem.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 3, p. 221, doi. 10.1002/malq.19880340306

By:

Kueker, David W.

Publication type:

Article

Correction to 'Some Remarks on Heyting Matrices'.

Published in:

1988

By:

Font, Josep M.

Publication type:

Erratum

Masthead.

Published in:: Mathematical Logic Quarterly, 1988, v. 34, n. 3, p. fmi, doi. 10.1002/malq.19880340301
Publication type:: Article

Correction to 'Note on Quantifier Prefixes Over Diophantine Equations'.

Published in:

1988

By:

Delzell, Charles N.

Publication type:

Erratum

A Note on BΣ<sub> n</sub> and an Intermediate Induction Schema.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 3, p. 261, doi. 10.1002/malq.19880340309

By:

Adamowicz, Zofia;
Kossak, Roman

Publication type:

Article

The Length Problem for Co-R.E. Sets.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 3, p. 277, doi. 10.1002/malq.19880340311

By:

Kummer, Martin

Publication type:

Article

On The Imaginary Logic of N. A. VASILIEV.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 3, p. 205, doi. 10.1002/malq.19880340304

By:

Puga, Leila Z.;
Da Costa, Newton C. A.

Publication type:

Article

Quantified Modal Logic With Rigid Terms.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 3, p. 251, doi. 10.1002/malq.19880340308

By:

Corsi, Giovanna

Publication type:

Article