Works matching IS 09425616 AND DT 1981 AND VI 27 AND IP 2-6

Results: 8

A Note on I-Types.

Published in:

Mathematical Logic Quarterly, 1981, v. 27, n. 2-6, p. 95, doi. 10.1002/malq.19810270208

By:

Rothmaler, Philipp

Publication type:

Article

EINE SYNTAKTISCH-ALGEBRAISCHE METHODE ZUR KONSTRUKTION VON MODELLEN.

Published in:

Mathematical Logic Quarterly, 1981, v. 27, n. 2-6, p. 59, doi. 10.1002/malq.19810270206

By:

Artalejo, Mario Rodríguez

Publication type:

Article

Masthead.

Published in:: Mathematical Logic Quarterly, 1981, v. 27, n. 2-6, p. fmi, doi. 10.1002/malq.19810270201
Publication type:: Article

Functional Characters of Solvable Terms.

Published in:

Mathematical Logic Quarterly, 1981, v. 27, n. 2-6, p. 45, doi. 10.1002/malq.19810270205

By:

Coppo, M.;
Dezani-Ciancaglini, M.;
Venneri, B.

Publication type:

Article

THÉORIE DE GALOIS POUR LES ALGÈBRES DE POST INFINITAIRES.

Published in:

Mathematical Logic Quarterly, 1981, v. 27, n. 2-6, p. 31, doi. 10.1002/malq.19810270204

By:

Poizat, Bruno

Publication type:

Article

Decidability of Some Logics with Free Quantifier Variables.

Published in:

Mathematical Logic Quarterly, 1981, v. 27, n. 2-6, p. 17, doi. 10.1002/malq.19810270202

By:

Anapolitanos, D. A.;
Väänänen, J. A.

Publication type:

Article

Ultrahomogeneous Structures.

Published in:

Mathematical Logic Quarterly, 1981, v. 27, n. 2-6, p. 23, doi. 10.1002/malq.19810270203

By:

Rose, Bruce I.;
Woodrow, Robert E.

Publication type:

Article

UNTERSUCHUNGEN ZUR THEORIE DER LINEAREN ORDNUNG IN LOGIKEN MIT MÄCHTIGKEITSQUANTOREN.

Published in:

Mathematical Logic Quarterly, 1981, v. 27, n. 2-6, p. 73, doi. 10.1002/malq.19810270207

By:

Herre, H.;
Wolter, H.

Publication type:

Article