WorldCat Identities

Association for Symbolic Logic

Overview
Works: 225 works in 572 publications in 4 languages and 14,890 library holdings
Genres: Periodicals  Conference papers and proceedings  Bibliography 
Roles: Other, Editor, Publisher, Organizer of meeting
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 journal of symbolic logic by Association for Symbolic Logic( )

51 editions published in 1936 in English and Undetermined and held by 1,881 WorldCat member libraries worldwide

Vol. 1, no. 4 (Dec. 1936) consists of a bibliography of symbolic logic for the period 1666-1935, by Alonzo Church (with additions and corrections in v. 3, no. 4)
The bulletin of symbolic logic by Association for Symbolic Logic( )

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

Journal of philosophical logic by Association for Symbolic Logic( )

in 3 languages and held by 1,206 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 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
The review of symbolic logic by Association for Symbolic Logic( )

14 editions published in 2008 in English and held by 392 WorldCat member libraries worldwide

Printbegrænsninger: Der kan printes kapitelvis
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 367 WorldCat member libraries worldwide

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

11 editions published between 1974 and 1979 in English and held by 359 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 351 WorldCat member libraries worldwide

Recursion theory by Anil Nerode( Book )

7 editions published in 1985 in English and held by 331 WorldCat member libraries worldwide

Proceedings of the Second Scandinavian Logic Symposium by Association for Symbolic Logic( Book )

7 editions published in 1971 in English and held by 320 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 307 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 247 WorldCat member libraries worldwide

Proceedings by Symposium on Logic in Computer Science( )

in English and held by 239 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 212 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 Walter A Carnielli( Book )

4 editions published between 1985 and 1988 in English and held by 207 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 175 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
Lectures on infinitary model theory by D Marker( Book )

2 editions published in 2016 in English and held by 31 WorldCat member libraries worldwide

"Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of mathematical logic up to the threshold of modern research. The classical topics of back-and-forth systems, model existence techniques, indiscernibles and end extensions are covered before more modern topics are surveyed. Zilber's categoricity theorem for quasiminimal excellent classes is proved and an application is given to covers of multiplicative groups. Infinitary methods are also used to study uncountable models of counterexamples to Vaught's conjecture, and effective aspects of infinitary model theory are reviewed, including an introduction to Montalbán's recent work on spectra of Vaught counterexamples. Self-contained introductions to effective descriptive set theory and hyperarithmetic theory are provided, as is an appendix on admissible model theory"--Provided by publisher
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.50 (from 0.03 for Sets and p ... to 0.86 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