Lecture Notes In Logic Series

New Releases

Language

Ebook Format

DRM

1 - 10 of 47 results

Recursion Theory
Cambridge University Press (2017)
97,58 €

A clear and focused introduction to recursion theory that is ideal for teaching and self-study.

Logic Colloquium '90: ASL Summer Meeting in Helsinki

Logic Colloquium '90

ASL Summer Meeting in Helsinki

Cambridge University Press (2017)
103,53 €

Proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in 1990,...

Fine Structure and Iteration Trees
Cambridge University Press (2017)
103,53 €

This book constructs an inner model with a Woodin cardinal and develops its fine structure theory...

Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way

Descriptive Set Theory and Forcing

How to Prove Theorems about Borel Sets the Hard Way

Cambridge University Press (2017)
103,53 €

These notes develop the theory of descriptive sets, leading up to a new proof of Louveau's...

Model Theory of Fields
Cambridge University Press (2017)
103,53 €

This book introduces the active area of the model theory of fields, concentrating on connections to...

Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy

Gödel '96

Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy

Cambridge University Press (2017)
103,53 €

Proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics -...

A General Algebraic Semantics for Sentential Logics
Cambridge University Press (2017)
103,53 €

An exposition of the approach to the algebraization of sentential logics developed by the Barcelona...

The Core Model Iterability Problem
Cambridge University Press (2017)
103,53 €

Suitable for graduate students and researchers in set theory, this volume develops a method for...

Bounded Variable Logics and Counting: A Study in Finite Models
Cambridge University Press (2017)
103,53 €

This study introduces some central ideas and lines of research in finite model theory, particularly...

Aspects of Incompleteness
Cambridge University Press (2017)
103,53 €

This volume presents some of the main areas and results of general metamathematics, including the...