Provability, Computability and Reflection, Volume 98

Provability, Computability and Reflection, Volume 98

Ainda sem avaliações
1979 · Inglês · Capa dura
Adicionar à Estante

Avalie este livro


Exportar Diário de Leitura

Descrição

A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers.

Detalhes do Livro

Formato Capa dura
Páginas 486 páginas
Idioma Inglês
Publicado fev 26, 1979
Editora Elsevier Science
ISBN-10 0444852077
ISBN-13 9780444852076
Adicionar à Estante

Avalie este livro


Exportar Diário de Leitura