American Carnage

Logic is now widely recognized as one of the foundational disciplines of computing, and its appli...

This book develops the theory of typed feature structures, a data structure that generalizes both...

TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Devel...

This book discusses recent research in the theoretical foundations of several subjects of importa...

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambd...

All traditional implementation techniques for functional languages (mostly based on supercombinat...

Classical logic has proved inadequate in various areas of computer science, artificial intelligen...

Logic and Computation is concerned with techniques for formal theorem-proving, with particular re...

Logic is now widely recognized as one of the foundational disciplines of computing, and its appli...

The papers in this volume were presented at the fourthbiennial SummerConference on Category Theor...

Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limi...

Expounds G del's incompleteness theorey using an information theoretic approach based on the size...

In this volume, different aspects of logics for dependence and independence are discussed, includ...

The book will be of value to all involved in database research.

The author presents a theory whereby nets, terms and formulas represent concurrent processes at t...

This book gives applications of the theory of process algebra, or Algebra of Communicating Proces...

In this disturbing yet elegant exposé of U.S. penitentiaries and their surrounding communities, S...

TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Devel...

Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists....

We are happy to present the first volumes of the 'Handbook of Logic in Computer Science.' Logic i...

Belief revision is a topic of much interest in theoretical computer science and logic, and it for...

Reasoning under uncertainty, that is, making judgments with only partial knowledge, is a major th...

This book evolved out of a conference which was held because of our conviction that prenatal scre...

The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of ...

In this volume, different aspects of logics for dependence and independence are discussed, includ...

This book covers the background of classical logic, including the major meta-theorems, and the st...

Named one of Kirkus's Best Nonfiction Books of 2015The House of Twenty Thousand Books is the stor...

Award-winning Journalist Sasha Abramsky takes us on a journey through disenfranchised America, de...

Essays in Honour of E. H. Carr

A groundbreaking biography of the world's first female sports superstar, the pioneering and uncom...

ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programmi...

This is the story of Sasha Abramsky's grandparents, Chimen and Miriam Abramsky, and of their uniq...

The earth's not dying, it's being killed. Only a movement for renewable energy will save it.

'Why does a disease that killed only a handful of Americans like ebola provoke panic, but the flu...

ANew York TimesNotable Book of the YearFifty years after Michael Harrington published his ground-...

Durante décadas, Chimen Abramsky y su esposa, Miriam, organizaron encuentros épicos en su fascina...

ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programmi...

'The House of Twenty Thousand Books is journalist Sasha Abramsky's elegy to the vanished intellec...

A harrowing tale of how political polarization threatens America’s social fabric, told through th...

Jetzt auch als Taschenbuch! Ein Haus voller Bücher, in dem Abend für Abend eine illustre Gästesch...