Works matching IS 09425616 AND DT 1983 AND VI 29 AND IP 3
Results: 6
LE MODÈLE COMPAGNON DE LA THÉORIE DES ARBRES.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 3, p. 137, doi. 10.1002/malq.19830290303
- By:
- Publication type:
- Article
THE THEORY OF AFFINE CONSTRUCTIBLE SETS.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 3, p. 97, doi. 10.1002/malq.19830290302
- By:
- Publication type:
- Article
DURCH SYNTAKTISCHE REKURSION DEFINIERTE KLASSEN.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 3, p. 169, doi. 10.1002/malq.19830290306
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 3, p. fmi, doi. 10.1002/malq.19830290301
- Publication type:
- Article
ZFC-MODELS AS KRIPKE-MODELS.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 3, p. 163, doi. 10.1002/malq.19830290305
- By:
- Publication type:
- Article
REGULAR RELATIONS AND THE QUANTIFIER 'THERE EXIST UNCOUNTABLY MANY'.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 3, p. 151, doi. 10.1002/malq.19830290304
- By:
- Publication type:
- Article