Carregando...

A course on mathematical logic

This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should f...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Srivastava, S. M.
Formato: Livro
Idioma:Inglês
Publicado em: Springer, c2013
Edição:2nd ed.
coleção:Universitext
Assuntos:
Acesso em linha:https://minerva.ufrj.br/F/?func=direct&doc_number=000903279&local_base=UFR01
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!