ON THE ORDER STRUCTURE OF THE HYPERREAL LINE.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 4, p. 197, doi. 10.1002/malq.19830290404
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1983 AND VI 29 AND IP 4
Results: 12
1
2
THE CONTINUOUS REALIZABILITY OF ENTAILMENT.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 4, p. 219, doi. 10.1002/malq.19830290408
- By:
- Publication type:
- Article
3
A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 4, p. 239, doi. 10.1002/malq.19830290410
- By:
- Publication type:
- Article
4
A NOTE ON TWO-CARDINAL MODELS.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 4, p. 193, doi. 10.1002/malq.19830290403
- By:
- Publication type:
- Article
5
KONSTRUKTIVE REELLE FUNKTIONALE UND OPERATOREN.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 4, p. 213, doi. 10.1002/malq.19830290407
- By:
- Publication type:
- Article
6
GENERAL TYPE-STRUCTURES OF CONTINUOUS AND COUNTABLE FUNCTIONALS.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 4, p. 177, doi. 10.1002/malq.19830290402
- By:
- Publication type:
- Article
7
MUTUAL TRANSFORMABILITY OF FORMULAS OF THE LANGUAGES OF MARKOV L<sub>ω N</sub> and.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 4, p. 207, doi. 10.1002/malq.19830290406
- By:
- Publication type:
- Article
8
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 4, p. fmi, doi. 10.1002/malq.19830290401
- Publication type:
- Article
9
HIERARCHIES FOR NON-FOUNDED MODELS OF SET THEORY.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 4, p. 253, doi. 10.1002/malq.19830290412
- By:
- Publication type:
- Article
10
TRANSFORMABILITY OF THE FORMULAS OF THE LANGUAGES OF MARKOV L<sub>N</sub>, L<sub>ω</sub> INT FORMULAS OF THE LANGUAGE.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 4, p. 203, doi. 10.1002/malq.19830290405
- By:
- Publication type:
- Article
11
ON THE REDUCTION OF TYPE THEORY.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 4, p. 235, doi. 10.1002/malq.19830290409
- By:
- Publication type:
- Article
12
BAIRE CATEGORY ON CARDINALS.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 4, p. 245, doi. 10.1002/malq.19830290411
- By:
- Publication type:
- Article