Some Results in Computability Theory.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
Works matching IS 10798986 AND DT 2019 AND VI 25 AND IP 4
Results: 20
1
2
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
3
A Study of the Interrelation between Fuzzy Topological Systems and Logics.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
4
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
5
Games for Functions: Baire Classes, Weihrauch Degrees, Transfinite Computations, and Ranks.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
6
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
7
Non-Classical Set Theories and Logics Associated With Them.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
8
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
9
NOTICES.
- Published in:
- 2019
- Publication type:
- Announcement
10
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
11
Regularity of Ultrafilters, Boolean Ultrapowers, and Keisler's Order.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
12
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
13
The Theory of the Generalised Real Numbers and Other Topics in Logic.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
14
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
15
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
16
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
17
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
18
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
19
Measuring the Relative Complexity of Mathematical Constructions and Theorems.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
20
Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification.
- Published in:
- 2019
- By:
- Publication type:
- Abstract