Simple Type Theory
portes grátis
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Farmer, William
Birkhauser Verlag AG
04/2025
338
Dura
9783031853517
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
Chapter 1 Introduction.- Chapter 2 Answers to Readers' Questions.- Chapter 3 Preliminary Concepts.- Chapter 4 Syntax.- Chapter 5 Semantics.- Chapter 6 Additional Notation.- Chapter 7 Beta-reduction and Substitution.- Chapter 8 Proof Systems.- Chapter 9 Theories.- Chapter 10 Inductive Sets and Types.- Chapter 11 Sequences.- Chapter 12 Developments.- Chapter 13 Real Number Mathematics.- Chapter 14 Morphisms.- Chapter 15 Alonzo Variants.- Chapter 16 Software Support.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
higher-order logic;type theory;undefinedness;categorical theories;definite description;theory morphisms
Chapter 1 Introduction.- Chapter 2 Answers to Readers' Questions.- Chapter 3 Preliminary Concepts.- Chapter 4 Syntax.- Chapter 5 Semantics.- Chapter 6 Additional Notation.- Chapter 7 Beta-reduction and Substitution.- Chapter 8 Proof Systems.- Chapter 9 Theories.- Chapter 10 Inductive Sets and Types.- Chapter 11 Sequences.- Chapter 12 Developments.- Chapter 13 Real Number Mathematics.- Chapter 14 Morphisms.- Chapter 15 Alonzo Variants.- Chapter 16 Software Support.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
