Related Books

Logic Colloquium 2006
Language: en
Pages: 384
Authors: S. Barry Cooper
Categories: Logic, Symbolic and mathematical
Type: BOOK - Published: 2009 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the fiel
Logic Colloquium 2005
Language: en
Pages: 289
Authors: Costas Dimitracopoulos
Categories: Logic, Symbolic and mathematical
Type: BOOK - Published: 2008 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field.
Logic Colloquium 2006
Language: en
Pages: 0
Authors: S. Barry Cooper
Categories: Mathematics
Type: BOOK - Published: 2009-09-07 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the fiel
Games, Actions, and Social Software
Language: en
Pages: 222
Authors: Jan van Eijck
Categories: Computers
Type: BOOK - Published: 2012-04-23 - Publisher: Springer

DOWNLOAD EBOOK

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book collects a set of chapters of the multi-disciplinary project "
Formalism and Beyond
Language: en
Pages: 382
Authors: Godehard Link
Categories: Philosophy
Type: BOOK - Published: 2014-10-09 - Publisher: Walter de Gruyter GmbH & Co KG

DOWNLOAD EBOOK

The essays collected in this volume focus on the role of formalist aspects in mathematical theorizing and practice, examining issues such as infinity, finitenes