:quality(100))
imagem ilustrativa
Simple Type Theory
William M. Farmer
Salvar edição
Compartilhar
- Editora: UmLivro
- Ano: 2023
- ISBN: 9783031211133
- 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 Va
Descrição: Preface.- 1 Introduction.- 2 Answers to Readers Questions.- 3 Preliminary Concepts.- 4 Syntax.- 5 Semantics.- 6 Ad... Veja mais