Masthead.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 19-24, p. fmi, doi. 10.1002/malq.19840301901
- Publication type:
- Article
Works matching IS 09425616 AND DT 1984 AND VI 30 AND IP 19-24
Results: 12
1
2
FILTERKONVERGENZ IN DER NICHTSTANDARD-ANALYSIS BEI NICHTELEMENTAREN FUNKTIONEN.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 19-24, p. 353, doi. 10.1002/malq.19840301912
- By:
- Publication type:
- Article
3
PARTIAL ISOMORPHISM EXTENSION METHOD AND A REPRESNTATION THEOREM FOR POST-LANGUAGE.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 19-24, p. 289, doi. 10.1002/malq.19840301902
- By:
- Publication type:
- Article
4
A PROPERTY OF 2-SORTED PEANO MODELS AND PROGRAM VERIFICATION.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 19-24, p. 325, doi. 10.1002/malq.19840301907
- By:
- Publication type:
- Article
5
MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 19-24, p. 335, doi. 10.1002/malq.19840301908
- By:
- Publication type:
- Article
6
ON AUTOMORPHISMS OF RESPLENDENT MODELS OF ARITHMETIC.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 19-24, p. 349, doi. 10.1002/malq.19840301911
- By:
- Publication type:
- Article
7
ATOMS IN MODAL ALGEBRAS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 19-24, p. 303, doi. 10.1002/malq.19840301904
- By:
- Publication type:
- Article
8
SUR UNE EXTENSION SIMPLE DU CALCUL INTUITIONNISTE DES PREDICATS DU PREMIER ORDRE APPLIQUEE A L'ANALYSE.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 19-24, p. 317, doi. 10.1002/malq.19840301906
- By:
- Publication type:
- Article
9
ORDERED FIELDS WITH SEVERAL EXPONENTIAL FUNCTIONS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 19-24, p. 341, doi. 10.1002/malq.19840301910
- By:
- Publication type:
- Article
10
SOME REMARKS ON A THEOREM OF IRAJ KALANTARI CONCERNING CONVEXITY AND RECURSION THEORY.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 19-24, p. 295, doi. 10.1002/malq.19840301903
- By:
- Publication type:
- Article
11
A QUESTION OF BOREL HYPERDETERMINACY.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 19-24, p. 313, doi. 10.1002/malq.19840301905
- By:
- Publication type:
- Article
12
CONTINUOUS FUNCTIONS ON COUNTABLE ORDINALS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 19-24, p. 339, doi. 10.1002/malq.19840301909
- By:
- Publication type:
- Article