WorldCat Identities

Association for Symbolic Logic

Overview
Works: 220 works in 557 publications in 4 languages and 14,965 library holdings
Genres: Periodicals  Conference papers and proceedings  Bibliography 
Roles: Other, Editor, Publisher, Organizer of meeting, Author
Classifications: QA9.A1, 511.3
Publication Timeline
.
Most widely held works about Association for Symbolic Logic
 
Most widely held works by Association for Symbolic Logic
The bulletin of symbolic logic by Association for Symbolic Logic( )

in English and held by 1,462 WorldCat member libraries worldwide

The journal of symbolic logic by Association for Symbolic Logic( )

47 editions published in 1936 in English and Undetermined and held by 1,340 WorldCat member libraries worldwide

Includes section "Reviews."
Journal of philosophical logic by Association for Symbolic Logic( )

in 3 languages and held by 1,187 WorldCat member libraries worldwide

Presents information on the "Journal of Philosophical Logic" (ISSN 0022-3611), 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 e-mail. Links to the home page of Kluwer
The review of symbolic logic by Association for Symbolic Logic( )

13 editions published in 2008 in English and held by 642 WorldCat member libraries worldwide

Printbegrænsninger: Der kan printes kapitelvis
JOURNAL OF SYMBOLIG LOGIC( )

in English and held by 500 WorldCat member libraries worldwide

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
Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics by Hugues Leblanc( Book )

6 editions published in 1973 in English and held by 369 WorldCat member libraries worldwide

Provability, Computability and Reflection
Proceedings of the Tarski Symposium by Berkeley, Calif.) Tarski Symposium (1971( Book )

10 editions published between 1974 and 1979 in English and held by 356 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 353 WorldCat member libraries worldwide

Recursion theory by AMS-ASL Summer Institute on Recursion Theory( Book )

7 editions published in 1985 in English and held by 332 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 Undetermined and held by 321 WorldCat member libraries worldwide

Formal systems and recursive functions; proceedings by John N Crossley( Book )

6 editions published in 1965 in English and held by 310 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

Proceedings by Symposium on Logic in Computer Science( )

in English and held by 244 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 )

8 editions published in 1999 in English and held by 229 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, post-graduate researchers, and the informed and interested nonspecialist
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic by Logic colloquium( Book )

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 29-August 2, 1985 by Latin American Symposium on Mathematical Logic( Book )

4 editions published between 1985 and 1988 in English and held by 209 WorldCat member libraries worldwide

Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 by Bristol> Logic Colloquium. <1973( Book )

4 editions published in 1975 in English and held by 177 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
24th Annual IEEE Symposium on Logic in Computer Science : proceedings, Los Angeles, California by Symposium on Logic in Computer Science( Book )

3 editions published in 2009 in English and held by 6 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.48 (from 0.03 for Sets and p ... to 0.85 for [Minor pub ...)

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Alternative Names
A.S.L

ASL

ASL (Association for Symbolic Logic)

ASL (Association for Symbolic Logic, USA)

Association of Symbolic Logic

Languages
Covers
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997Subsystems of second order arithmetic