The Unprovability Of Consistency

An Essay In Modal Logic

de George Boolos
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, Janeiro de 2009 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency.

The Unprovability Of Consistency

An Essay In Modal Logic

de George Boolos

Propriedade Descrição
ISBN: 9780521092975
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: Janeiro de 2009
Idioma: Inglês
Encadernação: Capa mole
Páginas: 196
Tipo de produto: Livro
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9780521092975