Works matching IS 10798986 AND DT 2019 AND VI 25 AND IP 4
Results: 20
BSL volume 25 issue 4 Cover and Back matter.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 4, p. b1, doi. 10.1017/bsl.2020.3
- Publication type:
- Article
BSL volume 25 issue 4 Cover and Front matter.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 4, p. f1, doi. 10.1017/bsl.2020.2
- Publication type:
- Article
ASSOCIATION FOR SYMBOLIC LOGIC.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 4, p. 533, doi. 10.1017/bsl.2020.1
- Publication type:
- Article
NOTICES.
- Published in:
- 2019
- Publication type:
- Announcement
REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 4, p. 429, doi. 10.1017/bsl.2019.59
- By:
- Publication type:
- Article
Regularity of Ultrafilters, Boolean Ultrapowers, and Keisler's Order.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
2019 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2019 Prague, Czech Republic August 11–16, 2019.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 4, p. 481, doi. 10.1017/bsl.2019.56
- Publication type:
- Article
2018 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2018 - ADDENDUM.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 4, p. 542, doi. 10.1017/bsl.2019.54
- Publication type:
- Article
A Study of the Interrelation between Fuzzy Topological Systems and Logics.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
Some Results in Computability Theory.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
Games for Functions: Baire Classes, Weihrauch Degrees, Transfinite Computations, and Ranks.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
Non-Classical Set Theories and Logics Associated With Them.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
The Theory of the Generalised Real Numbers and Other Topics in Logic.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
THE ANNUAL CONFERENCE OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Wollongong, Australia July 12, 2019.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 4, p. 479, doi. 10.1017/bsl.2019.44
- Publication type:
- Article
SIXTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nazarbayev University Nur-Sultan, Kazakhstan June 17–21, 2019.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 4, p. 456, doi. 10.1017/bsl.2019.43
- Publication type:
- Article
CIE 2019: COMPUTING WITH FORESIGHT AND INDUSTRY COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Durham, UK July 15–19, 2019.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 4, p. 532, doi. 10.1017/bsl.2019.37
- Publication type:
- Article
THE SIXTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS (CCA 2019) Zagreb, Croatia July 8–11, 2019.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 4, p. 531, doi. 10.1017/bsl.2019.36
- Publication type:
- Article
C*-algebras and the Uncountable: A Systematic Study of the Combinatorics of the Uncountable in the Noncommutative Framework.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
Measuring the Relative Complexity of Mathematical Constructions and Theorems.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification.
- Published in:
- 2019
- By:
- Publication type:
- Abstract