Works matching IS 10798986 AND DT 2015 AND VI 21 AND IP 2
Results: 12
2014 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Marriott Philadelphia Downtown Philadelphia, Pennsylvania December 28–30, 2014.
- Published in:
- 2015
- Publication type:
- Proceeding
21ST WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2014) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Valparaiso, Chile September 1–4, 2014.
- Published in:
- 2015
- Publication type:
- Proceeding
BSL volume 21 issue 2 Cover and Back matter.
- Published in:
- Bulletin of Symbolic Logic, 2015, v. 21, n. 2, p. b1, doi. 10.1017/bsl.2015.21
- Publication type:
- Article
Notices.
- Published in:
- Bulletin of Symbolic Logic, 2015, v. 21, n. 2, p. 244, doi. 10.1017/bsl.2015.17
- Publication type:
- Article
BSL volume 21 issue 2 Cover and Front matter.
- Published in:
- Bulletin of Symbolic Logic, 2015, v. 21, n. 2, p. f1, doi. 10.1017/bsl.2015.20
- Publication type:
- Article
Journal of Mathematical Logic.
- Published in:
- 2015
- By:
- Publication type:
- Book Review
2014 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Westin Gaslamp Quarter San Diego, California April 16–17, 2014.
- Published in:
- 2015
- Publication type:
- Proceeding
MODEL THEORY AND GROUPS, ISTANBUL 4 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Istanbul, Turkey March 26–28, 2015.
- Published in:
- 2015
- Publication type:
- Proceeding
2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Colorado, Boulder Boulder, CO, USA May 19–22, 2014.
- Published in:
- 2015
- Publication type:
- Conference Paper/Materials
HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC.
- Published in:
- Bulletin of Symbolic Logic, 2015, v. 21, n. 2, p. 164, doi. 10.1017/bsl.2015.10
- By:
- Publication type:
- Article
GEOMETRISATION OF FIRST-ORDER LOGIC.
- Published in:
- Bulletin of Symbolic Logic, 2015, v. 21, n. 2, p. 123, doi. 10.1017/bsl.2015.7
- By:
- Publication type:
- Article
HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY.
- Published in:
- Bulletin of Symbolic Logic, 2015, v. 21, n. 2, p. 111, doi. 10.1017/bsl.2015.6
- By:
- Publication type:
- Article