adicionar à lista de desejos
Mathematical Logic
idioma: inglês
Editor:
SPRINGER-VERLAG NEW YORK INC., junho de 1994 ‧
ver detalhes do produto
SINOPSE
Our first goal is Godel's completeness theorem, which shows that the con sequence relation coincides with formal provability: By means of a calcu lus consisting of simple formal inference rules, one can obtain all conse quences of a given axiom system (and in particular, imitate all mathemat ical proofs).
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780387942582 |
| Editor: | SPRINGER-VERLAG NEW YORK INC. |
| Data de Lançamento: | junho de 1994 |
| Idioma: | Inglês |
| Encadernação: | Capa dura |
| Páginas: | 291 |
| Tipo de produto: | Livro |
| Coleção: | Undergraduate Texts In Mathematics |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9780387942582 |
LIVROS DA MESMA COLEÇÃO
-
Beginning In Algebraic Geometry10%Springer International Publishing AG54,74€
60,82€portes grátis -
Three Infinities In MathematicsPré-lançamento10%Springer Nature Switzerland AG66,91€
74,34€portes grátis
-
Mathematical Logic10%Springer Nature Switzerland AG31,08€ 10% CARTÃOportes grátis
-
Mathematical LogicSpringer Nature Switzerland AG81,10€portes grátis