Association for symbolic logic
Association for Symbolic Logic (USA)
Association for Symbolic Logic international organization focused on logic
VIAF ID: 142787442 ( Corporate )
Permalink: http://viaf.org/viaf/142787442
Preferred Forms
-
-
- 110 2 _ ‡a Association for Symbolic Logic
-
-
- 110 2 _ ‡a Association for Symbolic Logic
-
-
-
- 110 2 _ ‡a Association for Symbolic Logic
- 110 2 _ ‡a Association for Symbolic Logic (USA)
- 110 2 _ ‡a Association for Symbolic Logic ‡c international organization focused on logic
-
- 210 | | ‡a Association for symbolic logic
- 110 2 _ ‡a Association for symbolic logic
4xx's: Alternate Name Forms (18)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Abstract recursion and intrinsic complexity | |
Algorithmic randomness : progress and prospects | |
BSL | |
Bull. symb. log. | |
The bulletin of symbolic logic. | |
Cabal Seminar | |
The collected works of Alonzo Church | |
Complexity of infinite-domain constraint satisfaction | |
Computable structure theory : within the arithmetic | |
Constructibility | |
Correspondence H-Z | |
Descriptive complexity, canonisation, and definable graph structure theory | |
Effective mathematics of the uncountable | |
Extendible sentential calculus | |
Inexhaustibility : a non-exhaustive treatment | |
Intensionality | |
Invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 | |
Journal of philosophical logic. | |
JSL | |
The lambda calculus with types | |
Lectures on infinitary model theory | |
LICS | |
Linear reasoning : a new form of the Herbrand-Gentzen Theorem | |
Logic Colloquium 2019 : book of abstracts | |
Logic Colloquium '90 : ASL Summer Meeting in Helsinki | |
Logic in computer science | |
Logical foundations of proof complexity | |
Mathematical logic | |
Model theoretic methods in finite combinatorics : AMS-ASL joint special session, January 5-8, 2009, Washington, DC | |
The Nortre Dame lectures | |
Note on a problem of Paul Bernays | |
On confirmation | |
On the use of dots as brackets in logical expressions | |
Perspectives in logic | |
Proc. - Symp. Logic Comput. Sci. (Online) | |
Proceedings | |
Proofs and computations | |
Proper forcing | |
Publications 1938-1974 | |
Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics | |
Recursion theory, 1985: | |
Reflections on the foundations of mathematics : essays in honor of Solomon Feferman | |
Rev. symb. logic (Print) | |
Review of L'empirisme logique, Revue Internationale de Philosophie, no. 11 | |
RSL | |
Set theory, arithmetic, and foundations of mathematics : theorems, philosophies | |
Subsystems of second order arithmetic | |
A theory of truth | |
Turing's legacy : developments from Turing's ideas in logic | |
Unpublished essays and lectures |