NOTICES.
- Published in:
- 2016
- Publication type:
- Obituary
Works matching IS 10798986 AND DT 2016 AND VI 22 AND IP 2
Results: 11
1
2
IN MEMORIAM: HARTLEY ROGERS, JR. 1926-2015.
- Published in:
- 2016
- By:
- Publication type:
- Obituary
3
Simplicity Theory/Annals of Mathematical Logic/Quaderni di Matematica/Finite structures with few types/Journal of the London Mathematical Society. Second Series/Annals of Pure and Applied Logic.
- Published in:
- 2016
- By:
- Publication type:
- Book Review
4
DEEP Π<sub>1</sub><sup>0</sup> CLASSES.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 2, p. 249, doi. 10.1017/bsl.2016.9
- By:
- Publication type:
- Article
5
The Collected Papers of Bertrand Russell, Volume 5: Toward "Principia Mathematica".
- Published in:
- 2016
- By:
- Publication type:
- Book Review
6
COMPUTABILITY AND THE CONNES EMBEDDING PROBLEM.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 2, p. 238, doi. 10.1017/bsl.2016.5
- By:
- Publication type:
- Article
7
Proof Theory: Sequent Calculi and Related Formalisms.
- Published in:
- 2016
- By:
- Publication type:
- Book Review
8
EARLY BOLZANO ON GROUND-CONSEQUENCE PROOFS.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 2, p. 215, doi. 10.1017/bsl.2016.1
- By:
- Publication type:
- Article
9
LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 2, p. 170, doi. 10.1017/bsl.2015.47
- By:
- Publication type:
- Article
10
The Foundations of Mathematics.
- Published in:
- 2016
- By:
- Publication type:
- Book Review
11
OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 2, p. 151, doi. 10.1017/bsl.2015.40
- By:
- Publication type:
- Article