WorldCat Identities

Association for Symbolic Logic

Overview
Works: 219 works in 486 publications in 3 languages and 11,814 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 ( )
in English and held by 1,372 WorldCat member libraries worldwide
Includes section "Reviews."
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 by Logic Colloquium ( )
7 editions published in 1999 in English and held by 1,135 WorldCat member libraries worldwide
The bulletin of symbolic logic by Association for Symbolic Logic ( )
in English and held by 1,119 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 S. B Cooper ( )
9 editions published in 1999 in English and held by 714 WorldCat member libraries worldwide
Second of two volumes providing a comprehensive guide to the current state of mathematical logic
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 )
8 editions published in 1968 in English and held by 445 WorldCat member libraries worldwide
Journal of philosophical logic by Association for Symbolic Logic ( )
in English and Italian and held by 441 WorldCat member libraries worldwide
Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics by Conference on Alternative Semantics ( Book )
5 editions published in 1973 in English and held by 441 WorldCat member libraries worldwide
The theory of models; proceedings by J. W Addison ( Book )
6 editions published between 1965 and 1972 in English and held by 412 WorldCat member libraries worldwide
Proceedings of the Second Scandinavian Logic Symposium by Association for Symbolic Logic ( Book )
6 editions published in 1971 in English and held by 407 WorldCat member libraries worldwide
The review of symbolic logic by The Association of Symbolic Logic ( )
in English and held by 377 WorldCat member libraries worldwide
Printbegrænsninger: Der kan printes kapitelvis
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 1979 in English and held by 372 WorldCat member libraries worldwide
Recursion theory by Anil Nerode ( Book )
6 editions published in 1985 in English and held by 350 WorldCat member libraries worldwide
Recursive function theory by Symposium in Pure Mathematics ( Book )
3 editions published between 1962 and 1979 in English and held by 323 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 317 WorldCat member libraries worldwide
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic by Association for Symbolic Logic ( Book )
5 editions published in 1982 in English and Multiple languages and held by 293 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 218 WorldCat member libraries worldwide
Proceedings by Symposium on Logic in Computer Science ( )
in English and held by 217 WorldCat member libraries worldwide
Subsystems of second order arithmetic by Stephen G Simpson ( )
9 editions published in 2009 in English and held by 212 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. [1973. Bristol.] ( Book )
3 editions published in 1975 in English and held by 173 WorldCat member libraries worldwide
Logic Colloquium '92 by Logic Colloquium '02 ( Book )
3 editions published in 1995 in English and held by 150 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.47 for Solomon Fe ... to 1.00 for Karp, Caro ...)
Alternative Names
A.S.L
ASL
ASL (Association for Symbolic Logic)
ASL (Association for Symbolic Logic, USA)
Languages
Covers