We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
2014 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’14 Vienna, AUSTRIA July 14–19, 2014.
- Abstract
Information about the 2014 European summer meeting of the Association for Symbolic Logic, held in Vienna, Austria on July 14-19 is presented. The event was hosted by the Vienna University of Technology. Topics discussed include theory of classical realizability, applications of logic to number theory, and first-order monadic logic.
- Subjects
ASSOCIATION for Symbolic Logic; MATHEMATICAL logic; NUMBER theory; FIRST-order logic; MODERN logic; TECHNISCHE Universitat Wien; CONFERENCES &; conventions
- Publication
Bulletin of Symbolic Logic, 2015, Vol 21, Issue 1, p34
- ISSN
1079-8986
- Publication type
Proceeding
- DOI
10.1017/bsl.2015.3