Works matching IS 10798986 AND DT 2014 AND VI 20 AND IP 4
Results: 11
BSL volume 20 issue 4 Cover and Back matter.
- Published in:
- Bulletin of Symbolic Logic, 2014, v. 20, n. 4, p. b1, doi. 10.1017/bsl.2014.44
- Publication type:
- Article
BSL volume 20 issue 4 Cover and Front matter.
- Published in:
- Bulletin of Symbolic Logic, 2014, v. 20, n. 4, p. f1, doi. 10.1017/bsl.2014.43
- Publication type:
- Article
ERDŐS AND SET THEORY.
- Published in:
- Bulletin of Symbolic Logic, 2014, v. 20, n. 4, p. 449, doi. 10.1017/bsl.2014.38
- By:
- Publication type:
- Article
Notices.
- Published in:
- Bulletin of Symbolic Logic, 2014, v. 20, n. 4, p. 552, doi. 10.1017/bsl.2014.42
- Publication type:
- Article
MODEL THEORETIC STABILITY AND DEFINABILITY OF TYPES, AFTER A. GROTHENDIECK.
- Published in:
- Bulletin of Symbolic Logic, 2014, v. 20, n. 4, p. 491, doi. 10.1017/bsl.2014.33
- By:
- Publication type:
- Article
ASSOCIATION FOR SYMBOLIC LOGIC.
- Published in:
- Bulletin of Symbolic Logic, 2014, v. 20, n. 4, p. 504, doi. 10.1017/bsl.2014.41
- Publication type:
- Article
INDIVIDUAL MEMBERS 2014.
- Published in:
- Bulletin of Symbolic Logic, 2014, v. 20, n. 4, p. 509, doi. 10.1017/bsl.2014.40
- Publication type:
- Article
Logic in Games.
- Published in:
- 2014
- By:
- Publication type:
- Book Review
Dense Sphere Packings: A Blueprint for Formal Proofs.
- Published in:
- 2014
- By:
- Publication type:
- Book Review
Homotopy Type Theory: Univalent Foundations of Mathematics.
- Published in:
- 2014
- By:
- Publication type:
- Book Review
GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE.
- Published in:
- Bulletin of Symbolic Logic, 2014, v. 20, n. 4, p. 417, doi. 10.1017/bsl.2014.29
- By:
- Publication type:
- Article