Ternary Operations as Primitive Notions for Constructive Plane Geometry V.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 4, p. 455, doi. 10.1002/malq.19940400404
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1994 AND VI 40 AND IP 4
Results: 12
1
2
Omega- and Beta-Models of Alternative Set Theory.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 4, p. 547, doi. 10.1002/malq.19940400411
- By:
- Publication type:
- Article
3
Cyclic Elements in MV-Algebras and Post Algebras.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 4, p. 431, doi. 10.1002/malq.19940400402
- By:
- Publication type:
- Article
4
The Hauptsatz for Stratified Comprehension: A Semantic Proof.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 4, p. 481, doi. 10.1002/malq.19940400406
- By:
- Publication type:
- Article
5
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 4, p. fmi, doi. 10.1002/malq.19940400401
- Publication type:
- Article
6
Errata.
- Published in:
- 1994
- Publication type:
- Erratum
7
A New Proof that 'Krull implies Zorn'.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 4, p. 478, doi. 10.1002/malq.19940400405
- By:
- Publication type:
- Article
8
A Note on Boolos' Proof of the Incompleteness Theorem.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 4, p. 528, doi. 10.1002/malq.19940400409
- By:
- Publication type:
- Article
9
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 4, p. 519, doi. 10.1002/malq.19940400408
- By:
- Publication type:
- Article
10
The Axiom of Choice in Second-Order Predicate Logic.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 4, p. 533, doi. 10.1002/malq.19940400410
- By:
- Publication type:
- Article
11
Hilbert's 17th Problem for Real Closed Rings.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 4, p. 445, doi. 10.1002/malq.19940400403
- By:
- Publication type:
- Article
12
Recursively Enumerable Equivalence Relations Modulo Finite Differences.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 4, p. 490, doi. 10.1002/malq.19940400407
- By:
- Publication type:
- Article