Simple Type Theory
R$430.89
Produtos relacionados
O preço original era: R$56.90.R$37.43O preço atual é: R$37.43.
Kintsugi: o poder de dar a volta por cima
★★★★★
Adicionado a lista de desejosRemovido da lista de desejos 1
O preço original era: R$56.90.R$28.45O preço atual é: R$28.45.
Napoleon hill meu mentor: como construí uma vida de riquezas com a mentoria de napoleon hill
★★★★★
Adicionado a lista de desejosRemovido da lista de desejos 0
O preço original era: R$56.90.R$34.31O preço atual é: R$34.31.
50 perguntas sobre lei da atração para iniciantes:
★★★★★
Adicionado a lista de desejosRemovido da lista de desejos 0
O preço original era: R$56.90.R$40.00O preço atual é: R$40.00.
Planejamento financeiro: você no controle
★★★★★
Adicionado a lista de desejosRemovido da lista de desejos 0
O preço original era: R$49.90.R$31.76O preço atual é: R$31.76.
Mais esperto que o diabo: o mistério revelado da liberdade e do sucesso
★★★★★
Adicionado a lista de desejosRemovido da lista de desejos 0
Simple Type Theory –
Preface.- 1 Introduction.- 2 Answers to Readers’ Questions.- 3 Preliminary Concepts.- 4 Syntax.- 5 Semantics.- 6 Additional Notation.- 7 Beta-reduction and Substitution.- 8 Proof Systems.- 9 Theories.- 10 Sequences.- 11 Developments.- 12 Real Number Mathematics.- 13 Morphisms 14 Alonzo Variants.- 15 Software Support.- Appendix A: Metatheorems of µ.- Appendix B: Soundness of µ.- Appendix C: Henkin’s Theorem for µ.- Bibliography.- List of Figures.- List of Tables.- List of Theorems, Examples, Remarks, and Modules.- Index
Especificação: Simple Type Theory
|
Não existe nenhuma avaliação ainda.