WorldCat Identities

Association for Symbolic Logic

Overview
Works: 215 works in 462 publications in 4 languages and 10,619 library holdings
Genres: Conference proceedings  Periodicals  Bibliography 
Roles: Other, Editor, Publisher
Classifications: QA9.A1, 511.3
Publication Timeline
Key
Publications about Association for Symbolic Logic Publications about Association for Symbolic Logic
Publications by Association for Symbolic Logic Publications by Association for Symbolic Logic
Most widely held works about Association for Symbolic Logic
 
Most widely held works by Association for Symbolic Logic
The journal of symbolic logic by Association for Symbolic Logic ( )
42 editions published in 1936 in English and held by 1,366 WorldCat member libraries worldwide
Includes section "Reviews."
The bulletin of symbolic logic by Association for Symbolic Logic ( )
in English and held by 1,111 WorldCat member libraries worldwide
Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 by Logic Colloquium ( )
8 editions published in 1999 in English and held by 611 WorldCat member libraries worldwide
Second of two volumes providing a comprehensive guide to the current state of mathematical logic
Journal of philosophical logic by Association for Symbolic Logic ( )
in English and Italian and held by 448 WorldCat member libraries worldwide
Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic by Leeds> Summer School in Logic. <1967 ( Book )
9 editions published in 1968 in English and held by 440 WorldCat member libraries worldwide
Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics by Hugues Leblanc ( Book )
4 editions published in 1973 in English and held by 434 WorldCat member libraries worldwide
The theory of models; proceedings by J. W Addison ( Book )
6 editions published between 1965 and 1972 in English and Dutch and held by 416 WorldCat member libraries worldwide
Proceedings of the Second Scandinavian Logic Symposium by Jens Erik Fenstad ( Book )
6 editions published in 1971 in English and held by 388 WorldCat member libraries worldwide
Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday by Tarski Symposium ( Book )
6 editions published between 1974 and 1987 in English and held by 363 WorldCat member libraries worldwide
Recursion theory by AMS-ASL Summer Institute on Recursion Theory ( Book )
6 editions published in 1985 in English and held by 345 WorldCat member libraries worldwide
The review of symbolic logic by The Association of Symbolic Logic ( )
in English and held by 326 WorldCat member libraries worldwide
Recursive function theory by American Mathematical Society ( Book )
2 editions published in 1962 in English and held by 321 WorldCat member libraries worldwide
Formal systems and recursive functions; proceedings by Association for Symbolic Logic ( Book )
4 editions published in 1965 in English and Undetermined and held by 320 WorldCat member libraries worldwide
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic by Logic Colloquium ( Book )
5 editions published in 1982 in English and Multiple languages and held by 287 WorldCat member libraries worldwide
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 by Logic Colloquium ( Book )
7 editions published in 1999 in English and held by 256 WorldCat member libraries worldwide
Proceedings by Conference on Artificial Intelligence Applications ( )
in English and held by 221 WorldCat member libraries worldwide
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 by Latin American Symposium on Mathematical Logic ( Book )
3 editions published between 1985 and 1988 in English and held by 216 WorldCat member libraries worldwide
Subsystems of second order arithmetic by Stephen G Simpson ( Book )
8 editions published in 2009 in English and held by 208 WorldCat member libraries worldwide
This volume examines appropriate axioms for mathematics to prove particular theorems in core areas
Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 by Logic Colloquium ( Book )
2 editions published in 1975 in English and held by 173 WorldCat member libraries worldwide
Logic Colloquium '92 by Veszprém) Logic Colloquium (1992 ( Book )
3 editions published in 1995 in English and held by 149 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.47 for Solomon Fe ... to 1.00 for Karp, Caro ...)
Alternative Names
A.S.L
ASL.
ASL Abkuerzung
ASL (Association for Symbolic Logic)
ASL (Association for Symbolic Logic, USA)
Languages
Covers