Simple Type Theory - William M. Farmer

Simple Type Theory

1ª edição

Autor:William M. Farmer

Editora:UmLivro, Springer Nature BV (Print-On-Demand)

Livros Artes Artes

Ofertas

1 loja

Ver preço

Ano 2023Páginas 312Formato BOOKISBN 9783031211133

Sobre o livro

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

Ficha técnica

Autor: William M. Farmer
Editora: UmLivro, Springer Nature BV (Print-On-Demand)
Formato: BOOK
Encadernação: Capa comum
ISBN: 9783031211133
EAN: 9783031211133
Ano de Publicação: 2023
Número de Páginas: 312
Dimensões: 23.4 x 15.6 x 3 cm
Peso: 0.44 kg
Idioma: pt-BR
Edição: 1
SKU: 9783031211133

Sobre o autor

Quem é William M. Farmer? Livros, Biografia e Ideias do Autor

Ver perfil completo

William M. Farmer é autor de Simple Type Theory. Consulte o perfil para conhecer outras obras e informações bibliográficas.

Mais livros da editora

Livros da UmLivro: Catálogo Completo e Lançamentos

Ver catálogo da editora

Genome - Matt Ridley

Genome

a partir deR$ 50,00

Anidrose Equina - Arshad Zahoor

Anidrose Equina

a partir deR$ 171,85

An Analysis of Hans J. Morgenthau's Politics Among Nations - Ramon Pacheco Pardo

An Analysis of Hans J. Morgenthau's Politics Among Nations

Ramon Pacheco Pardo, Ramon Pacheco

a partir deR$ 123,45

A Big Life in Advertising - Mary Wells Lawrence

A Big Life in Advertising

Mary Wells Lawrence, Mary Wells

a partir deR$ 78,76

Livros semelhantes

Keratoconus - Diversos Autores

Keratoconus

Diversos Autores

a partir deR$ 457,27

Mastering the Art of Patient Care - Michelle Kittleson

Mastering the Art of Patient Care

Michelle Kittleson

a partir deR$ 1320,11

An Introduction to Agroforestry - P. K. Ramachandran Nair

An Introduction to Agroforestry

P. K. Ramachandran Nair, P. K. Ramachandran

a partir deR$ 395,29

Developing Countries in the WTO - C. Michalopoulos

Developing Countries in the WTO

C. Michalopoulos

a partir deR$ 509,15

Dúvidas frequentes

Perguntas frequentes

Sobre o que é o livro Simple Type Theory?

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...

Quem escreveu Simple Type Theory?

Simple Type Theory foi escrito por William M. Farmer.

Quais são os dados desta edição?

Esta edição é publicada pela UmLivro, em 2023, com 312 páginas e no formato Capa comum.

Qual é o ISBN de Simple Type Theory?

O ISBN/EAN informado para esta edição é 9783031211133.

Onde comparar preços de Simple Type Theory?

A Orelha de Livro compara a oferta disponível para esta edição. O preço e a disponibilidade finais devem ser confirmados na loja.

entre no grupo de ofertas!