Works matching IS 10798986 AND DT 2014 AND VI 20 AND IP 3
Results: 9
NOTICES.
- Published in:
- Bulletin of Symbolic Logic, 2014, v. 20, n. 3, p. 411, doi. 10.1017/bsl.2014.34
- Publication type:
- Article
2012 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM '12.
- Published in:
- 2014
- By:
- Publication type:
- Proceeding
Three papers on the reverse mathematics of Jullien's Indecomposability Theorem.
- Published in:
- Bulletin of Symbolic Logic, 2014, v. 20, n. 3, p. 366, doi. 10.1017/bsl.2014.28
- By:
- Publication type:
- Article
David Hilbert's lectures on the foundations of arithmetic and logic 1917-1933.
- Published in:
- 2014
- By:
- Publication type:
- Book Review
Frege on Absolute and Relative Truth. An Introduction to the Practice of Interpreting Philosophical Texts.
- Published in:
- 2014
- By:
- Publication type:
- Book Review
Recent developments in model theory.
- Published in:
- 2014
- By:
- Publication type:
- Book Review
COMPUTABLE ABELIAN GROUPS.
- Published in:
- Bulletin of Symbolic Logic, 2014, v. 20, n. 3, p. 315, doi. 10.1017/bsl.2014.32
- By:
- Publication type:
- Article
CHAIN CONDITIONS OF PRODUCTS, AND WEAKLY COMPACT CARDINALS.
- Published in:
- Bulletin of Symbolic Logic, 2014, v. 20, n. 3, p. 293, doi. 10.1017/bsl.2014.24
- By:
- Publication type:
- Article
EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS.
- Published in:
- Bulletin of Symbolic Logic, 2014, v. 20, n. 3, p. 275, doi. 10.1017/bsl.2014.21
- By:
- Publication type:
- Article