Discover millions of ebooks, audiobooks, and so much more with a free trial

Only $11.99/month after trial. Cancel anytime.

Logic Colloquium '86
Logic Colloquium '86
Logic Colloquium '86
Ebook332 pages10 hours

Logic Colloquium '86

Rating: 0 out of 5 stars

()

Read preview

About this ebook

The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Other areas examined include model theory, set theory, recursion theory, proof theory, and the history of logic.

This volume contains the texts of ten of the invited lectures and six of the contributed papers.

LanguageEnglish
Release dateNov 1, 1987
ISBN9780444535832
Logic Colloquium '86

Related to Logic Colloquium '86

Titles in the series (32)

View More

Related ebooks

Mathematics For You

View More

Related articles

Reviews for Logic Colloquium '86

Rating: 0 out of 5 stars
0 ratings

0 ratings0 reviews

What did you think?

Tap to rate

Review must be at least 10 words

    Book preview

    Logic Colloquium '86 - Elsevier Science

    Enjoying the preview?
    Page 1 of 1