Lev D. Beklemishev

Design of a Language for Cosmic Intercourse

Lincos

Provability, Computability and Reflection

Ruy de Queiroz

This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, etc.

18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

Logic, Language, Information, and Computation

Nachum Dershowitz

Andreas Blass

Bernd Finkbeiner

Wolfram Schulte

This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the "Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015).

Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Fields of Logic and Computation II

Lev D. Beklemishev

Books

Your next favorite book is out there