Works matching IS 10798986 AND DT 2019 AND VI 25 AND IP 3

Results: 19

BSL volume 25 issue 3 Cover and Back matter.

Published in:: Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. b1, doi. 10.1017/bsl.2019.53
Publication type:: Article

BSL volume 25 issue 3 Cover and Front matter.

Published in:: Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. f1, doi. 10.1017/bsl.2019.52
Publication type:: Article

NOTICES.

Published in:: 2019
Publication type:: Announcement

2019 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC City University of New York Graduate Center New York, New York, USA May 20–23, 2019.

Published in:: Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. 381, doi. 10.1017/bsl.2019.45
Publication type:: Article

Proof-theoretic semantics.

Published in:

2019

By:

Catta, Davide

Publication type:

Book Review

26TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, the Netherlands July 2–5, 2019.

Published in:: Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. 421, doi. 10.1017/bsl.2019.41
Publication type:: Article

12TH PANHELLENIC LOGIC SYMPOSIUM (PLS 12, 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Anogeia, Crete, Greece June 26–30, 2019.

Published in:: Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. 420, doi. 10.1017/bsl.2019.40
Publication type:: Article

PH.D.S IN LOGIC XI 2019 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bern, Switzerland April 24–26, 2019.

Published in:: Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. 418, doi. 10.1017/bsl.2019.39
Publication type:: Article

ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2019) SUPPORTED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vancouver, Canada June 24–27, 2019.

Published in:: Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. 419, doi. 10.1017/bsl.2019.38
Publication type:: Article

LARGE CARDINALS BEYOND CHOICE.

Published in:

Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. 283, doi. 10.1017/bsl.2019.28

By:

BAGARIA, JOAN;
KOELLNER, PETER;
WOODIN, W. HUGH

Publication type:

Article

SYNTAX MEETS SEMANTICS (SYSMICS 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Amsterdam, The Netherlands January 21–25, 2019.

Published in:: Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. 417, doi. 10.1017/bsl.2019.27
Publication type:: Article

FROM PERMUTATION GROUPS TO MODEL THEORY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Edinburgh, UK September 17–21, 2018.

Published in:: Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. 413, doi. 10.1017/bsl.2019.26
Publication type:: Article

HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Göttingen, Germany July 22–28, 2018.

Published in:: Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. 414, doi. 10.1017/bsl.2019.25
Publication type:: Article

THIRTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY AND RANDOMNESS (CCR 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Santiago, Chile December 17–21, 2018.

Published in:: Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. 416, doi. 10.1017/bsl.2019.24
Publication type:: Article

CANTOR MEETS ROBINSON CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Campinas, Brazil December 12–15, 2018.

Published in:: Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. 415, doi. 10.1017/bsl.2019.23
Publication type:: Article

ETA-RULES IN MARTIN-LÖF TYPE THEORY.

Published in:

Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. 333, doi. 10.1017/bsl.2019.21

By:

KLEV, ANSTEN

Publication type:

Article

ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING The Westin Denver Downtown Denver, Colorado, USA February 21–22, 2019.

Published in:: Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. 372, doi. 10.1017/bsl.2019.19
Publication type:: Article

ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING Baltimore Convention Center Baltimore, MD, USA January 18–19, 2019.

Published in:: Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. 363, doi. 10.1017/bsl.2019.14
Publication type:: Article

MODEL THEORY AND MACHINE LEARNING.

Published in:

Bulletin of Symbolic Logic, 2019, v. 25, n. 3, p. 319, doi. 10.1017/bsl.2018.71

By:

CHASE, HUNTER;
FREITAG, JAMES

Publication type:

Article