Search Results

1 - 8 of 8 results for "Löwe, Benedikt"

Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings

Computation and Logic in the Real World

Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings

US$149.00

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

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III"

Classical and New Paradigms of Computation and their Complexity Hierarchies

Papers of the conference "Foundations of the Formal Sciences III"

US$269.00

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

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

Interactive Logic

Selected Papers from the 7th Augustus de Morgan Workshop, London

US$49.95

A collection of excellent research papers in logic, mathematics, computer science and game theory

Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II

Wadge Degrees and Projective Ordinals

The Cabal Seminar, Volume II

US$49.50

The most seminal collection of papers of descriptive set theory reprinted and put into the modern...

Games, Scales and Suslin Cardinals: The Cabal Seminar, Volume I

Games, Scales and Suslin Cardinals

The Cabal Seminar, Volume I

US$66.50

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

Ordinal Definability and Recursion Theory: Volume 3: The Cabal Seminar, Volume III
US$115.99

The third in a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal...

New Computational Paradigms: Changing Conceptions of What is Computable

New Computational Paradigms

Changing Conceptions of What is Computable

S.B. Cooper, Benedikt Löwe and 1 more...
US$209.00

This superb exposition of a complex subject examines new developments in the theory and practice of...

Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012

Cultures of Mathematics and Logic

Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012

Shier Ju, Benedikt Löwe and 2 more...

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