Association for Symbolic Logic
Overview
Works:  195 works in 543 publications in 4 languages and 14,634 library holdings 

Genres:  Periodicals Conference papers and proceedings Bibliography 
Roles:  Other, Editor, Publisher 
Classifications:  QA9.A1, 511.3 
Publication Timeline
.
Most widely held works about
Association for Symbolic Logic
 [Minor publications] by Association for Symbolic Logic( Book )
 Alfred Tarski papers by Alfred Tarski( )
 Karp, Carol, papers by Carol Karp( )
 Solomon Feferman papers by Solomon Feferman( )
 Abraham Robinson papers by Abraham Robinson( )
Most widely held works by
Association for Symbolic Logic
The journal of symbolic logic by
Association for Symbolic Logic(
)
47 editions published in 1936 in English and held by 1,798 WorldCat member libraries worldwide
Includes section "Reviews."
47 editions published in 1936 in English and held by 1,798 WorldCat member libraries worldwide
Includes section "Reviews."
Journal of philosophical logic by
Association for Symbolic Logic(
)
in 3 languages and held by 1,127 WorldCat member libraries worldwide
Presents information on the "Journal of Philosophical Logic" (ISSN 00223611), published by Kluwer Academic Publishers in Dordrecht, The Netherlands, under the auspices of the Association for Symbolic Logic. Notes that the journal contains papers related to formal methods or topics in logical theory. Includes subscription information, as well as submission instructions for prospective authors. Offers access to an online copy and a search engine for tables of contents and article information. Lists the editorial board. Posts contact information via mailing address, telephone and fax numbers, and email. Links to the home page of Kluwer
in 3 languages and held by 1,127 WorldCat member libraries worldwide
Presents information on the "Journal of Philosophical Logic" (ISSN 00223611), published by Kluwer Academic Publishers in Dordrecht, The Netherlands, under the auspices of the Association for Symbolic Logic. Notes that the journal contains papers related to formal methods or topics in logical theory. Includes subscription information, as well as submission instructions for prospective authors. Offers access to an online copy and a search engine for tables of contents and article information. Lists the editorial board. Posts contact information via mailing address, telephone and fax numbers, and email. Links to the home page of Kluwer
The bulletin of symbolic logic by
Association for Symbolic Logic(
)
in English and held by 1,061 WorldCat member libraries worldwide
in English and held by 1,061 WorldCat member libraries worldwide
The review of symbolic logic by
Association for Symbolic Logic(
)
13 editions published in 2008 in English and held by 600 WorldCat member libraries worldwide
Printbegrænsninger: Der kan printes kapitelvis
13 editions published in 2008 in English and held by 600 WorldCat member libraries worldwide
Printbegrænsninger: Der kan printes kapitelvis
The theory of models; proceedings by
J. W Addison(
Book
)
12 editions published between 1965 and 1978 in English and Dutch and held by 413 WorldCat member libraries worldwide
The Theory of Models
12 editions published between 1965 and 1978 in English and Dutch and held by 413 WorldCat member libraries worldwide
The Theory of Models
Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth
birthday by
Berkeley, Calif.> Tarski Symposium. <1971(
Book
)
11 editions published between 1974 and 1979 in English and held by 377 WorldCat member libraries worldwide
11 editions published between 1974 and 1979 in English and held by 377 WorldCat member libraries worldwide
Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics by
Hugues Leblanc(
Book
)
5 editions published in 1973 in English and held by 368 WorldCat member libraries worldwide
Provability, Computability and Reflection
5 editions published in 1973 in English and held by 368 WorldCat member libraries worldwide
Provability, Computability and Reflection
Recursion theory by
Anil Nerode(
Book
)
7 editions published in 1985 in English and held by 333 WorldCat member libraries worldwide
7 editions published in 1985 in English and held by 333 WorldCat member libraries worldwide
Proceedings of the Second Scandinavian Logic Symposium by
Association for Symbolic Logic(
Book
)
8 editions published in 1971 in English and held by 323 WorldCat member libraries worldwide
8 editions published in 1971 in English and held by 323 WorldCat member libraries worldwide
Formal systems and recursive functions; proceedings by
Association for Symbolic Logic(
Book
)
6 editions published in 1965 in English and held by 315 WorldCat member libraries worldwide
6 editions published in 1965 in English and held by 315 WorldCat member libraries worldwide
Recursive function theory by Symposium on Recursive Function Theory(
Book
)
3 editions published between 1962 and 1979 in English and held by 304 WorldCat member libraries worldwide
3 editions published between 1962 and 1979 in English and held by 304 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
S. B Cooper(
Book
)
6 editions published in 1999 in English and held by 250 WorldCat member libraries worldwide
6 editions published in 1999 in English and held by 250 WorldCat member libraries worldwide
Proceedings by
Symposium on Logic in Computer Science(
)
in English and held by 247 WorldCat member libraries worldwide
in English and held by 247 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(
Book
)
7 editions published in 1999 in English and held by 230 WorldCat member libraries worldwide
Together, Models and Computability and its sister volume Sets and Proofs provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at "Logic Colloquium '97" (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, postgraduate researchers, and the informed and interested nonspecialist
7 editions published in 1999 in English and held by 230 WorldCat member libraries worldwide
Together, Models and Computability and its sister volume Sets and Proofs provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at "Logic Colloquium '97" (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, postgraduate researchers, and the informed and interested nonspecialist
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic by
D. van Dalen(
Book
)
9 editions published in 1982 in English and Multiple languages and held by 213 WorldCat member libraries worldwide
9 editions published in 1982 in English and Multiple languages and held by 213 WorldCat member libraries worldwide
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held
July 29August 2, 1985 by Latin American Symposium on Mathematical Logic(
Book
)
4 editions published between 1985 and 1988 in English and held by 210 WorldCat member libraries worldwide
4 editions published between 1985 and 1988 in English and held by 210 WorldCat member libraries worldwide
Subsystems of second order arithmetic by
Stephen G Simpson(
Book
)
11 editions published between 2009 and 2010 in English and held by 114 WorldCat member libraries worldwide
This volume examines appropriate axioms for mathematics to prove particular theorems in core areas
11 editions published between 2009 and 2010 in English and held by 114 WorldCat member libraries worldwide
This volume examines appropriate axioms for mathematics to prove particular theorems in core areas
Logic in computer science : proceedings : 18th Annual IEEE Symposium on Logic in Computer Science : 2225 July, 2003, Ottawa,
Canada by Symposium on Logic in Computer Science(
Book
)
3 editions published in 2003 in English and held by 1 WorldCat member library worldwide
3 editions published in 2003 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Cooper, S. B. (S. Barry) Other Editor
 Truss, J. K. Other Editor
 International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science
 American Mathematical Society Editor
 IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
 European Association for Theoretical Computer Science
 University of California, Berkeley
 Leblanc, Hugues 1924 Editor
 JSTOR (Organization)
 ACM Special Interest Group for Automata and Computability Theory
Useful Links
Associated Subjects
Aerodynamics Algebraic logic American Mathematical Society ArithmeticFoundations Association for Symbolic Logic Computable functions Computational complexity Computer logic Computer programming Computer programsCorrectness Computer scienceMathematics Electronic data processing Electronic journals Green, Judy Infinitary languages International Union of the History and Philosophy of Science Jewish refugees Jewish scientists Logic Logic, Symbolic and mathematical LopezEscobar, Edgar G. K., Mathematical models Mathematicians Mathematics MathematicsStudy and teaching Metamathematics Modality (Logic) Model theory Philosophy Poland Predicate calculus Proof theory Recursion theory Recursive functions Research grants Reverse engineering Semantics Semantics (Philosophy) Set theory Software engineering Stanford University Systems software Tarski, Alfred Truth United States Universities and collegesFaculty University of California, Berkeley.Department of Mathematics University of California, Los Angeles University of Toronto Yale University
Alternative Names
A.S.L
ASL
ASL (Association for Symbolic Logic)
ASL (Association for Symbolic Logic, USA)
Association of Symbolic Logic
Languages
Covers