The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the ...

The notion of complexity is an important contribution of logic to theoretical computer science an...

In recent years, classical computability has expanded beyond its original scope to address issues...

CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Com...

In recent years, classical computability has expanded beyond its original scope to address issues...

This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009,...

CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15-20, 2008 Computability in Europe...

'Foundations of the Formal Sciences' (FotFS) is a series of interdisciplinary conferences in math...

This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Con...

Presents seminal papers from the Caltech-UCLA 'Cabal Seminar', unpublished material, and related ...

CiE 2005: New Computational Paradigms illc. uva. nl CiEThecooperationComputabilityinEurope (CiE)i...

This book constitutes the refereed proceedings of the Third International Conference on Computabi...

Philosophy and sociology of science aim at understanding the workings of scientific endeavour. De...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volu...

This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, ...

This bookgathers the proceedings of the conference 'Cultures of Mathematics andLogic,' held in Gu...

The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the ...

'Foundations of the Formal Sciences' (FotFS) is a series of interdisciplinary conferences in math...

This bookgathers the proceedings of the conference 'Cultures of Mathematics andLogic,' held in Gu...

This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, ...

This volume celebrates the 60th anniversary of the Deutsche Vereinigung für Mathematische Logik u...

Large Cardinals, Determinacy and Other Topics is the last in a series of four books presenting th...

CiE 2010: Programs, Proofs, Processes Ponta Delgada, Azores, Portugal, June 30 July 4 2010 The la...

This volume is conceived as a rami?cation of the eighth conference on Logic and the Foundations o...

The Cabal Seminar 4 Volume Hardback Set

The notion of complexity is an important contribution of logic to theoretical computer science an...

Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, ...