Simple Type Theory

Editora:

Springer Nature B.V.

Código:

491_9783031211133

Vendido e entregue por Um Livro

De: R$ 0,00Por: R$ 334,77ou 3X de R$ 111,59

Comprar

Sinopse
Características

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: Henkins Theorem for µ.- Bibliography.- List of Figures.- List of Tables.- List of Theorems, Examples, Remarks, and Modules.- Index

Veja mais

Calcule o valor do frete e prazo de entrega para a sua região