Simple Type Theory
portes grátis
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Farmer, William M.
Birkhauser Verlag AG
01/2024
295
Mole
Inglês
9783031211140
15 a 20 dias
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
higher-order logic;indefinite description;type theory;undefinedness;categorical theories
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
