Works matching IS 10798986 AND DT 2016 AND VI 22 AND IP 1
Results: 6
BSL volume 22 issue 1 Cover and Back matter.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 1, p. b1, doi. 10.1017/bsl.2016.8
- Publication type:
- Article
BSL volume 22 issue 1 Cover and Front matter.
- Published in:
- 2016
- Publication type:
- Cover Art
Notices.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 1, p. 145, doi. 10.1017/bsl.2016.4
- Publication type:
- Article
LINEAR TIME IN HYPERSEQUENT FRAMEWORK.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 1, p. 121, doi. 10.1017/bsl.2016.2
- By:
- Publication type:
- Article
CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 1, p. 1, doi. 10.1017/bsl.2015.41
- By:
- Publication type:
- Article
THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 1, p. 105, doi. 10.1017/bsl.2015.39
- By:
- Publication type:
- Article