Higher-Order Logic and Type Theory
-10%
portes grátis
Higher-Order Logic and Type Theory
Bell, John L.
Cambridge University Press
03/2022
75
Mole
Inglês
9781108986908
15 a 20 dias
131
Descrição não disponível.
1. Second- Order Logic and Higher-Order Logic; 2. Type Theory and its Origins; 3. Local set theory; 4. Newer Forms of Type Theory Based on the Doctrine of 'Propositions as Types'; Appendix; The Semantics of Local Set Theory/Intuitionistic Higher-Order Logic.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
1. Second- Order Logic and Higher-Order Logic; 2. Type Theory and its Origins; 3. Local set theory; 4. Newer Forms of Type Theory Based on the Doctrine of 'Propositions as Types'; Appendix; The Semantics of Local Set Theory/Intuitionistic Higher-Order Logic.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
