BSL volume 24 issue 1 Cover and Back matter.
- Published in:
- 2018
- Publication type:
- Other
Works matching IS 10798986 AND DT 2018 AND VI 24 AND IP 1
Results: 9
1
2
A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 1, p. 90, doi. 10.1017/bsl.2018.4
- By:
- Publication type:
- Article
3
A HIERARCHY OF COMPUTABLY ENUMERABLE DEGREES.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 1, p. 53, doi. 10.1017/bsl.2017.41
- By:
- Publication type:
- Article
4
BSL volume 24 issue 1 Cover and Front matter.
- Published in:
- 2018
- Publication type:
- Other
5
Notices.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 1, p. 141, doi. 10.1017/bsl.2018.16
- Publication type:
- Article
6
Flag algebras.
- Published in:
- 2018
- By:
- Publication type:
- Book Review
7
2016–17 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Hyatt Regency Atlanta and Marriott Atlanta Marquis Atlanta, GA, USA January 6–7, 2017.
- Published in:
- 2018
- Publication type:
- Proceeding
8
2017 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boise State University Boise, ID, USA March 20–23, 2017.
- Published in:
- 2018
- Publication type:
- Proceeding
9
POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 1, p. 1, doi. 10.1017/bsl.2017.43
- By:
- Publication type:
- Article