imagem não disponível
Formal Semantics In Modern Type Theorie

Formal Semantics In Modern Type Theorie

de Stergios Chatzikyriakidis e Zhaohui Luo  

idioma: Inglês
Editor: ISTE Ltd
Edição ou reimpressão: julho de 2019
Portes
Grátis
10%
125,67€
Poupe 12,57€ (10%) Cartão Leitor Bertrand
Sujeito a confirmação no Editor
portes grátis

Modern Type Theories (MTTs), (type theories within the tradition of Martin-Lof,) have been shown to be a serious alternative to set theory in the study of mathematical foundations and have been furthermore shown to be the most suited logical languages to perform reasoning tasks.

Formal Semantics In Modern Type Theorie
de Stergios Chatzikyriakidis e Zhaohui Luo  
ISBN: 9781786301284 Ano de edição ou reimpressão: Editor: ISTE Ltd Idioma: Inglês Encadernação: Capa dura Páginas: 350 Tipo de Produto: Livro Coleção: What'S Up? Classificação Temática: Livros  >  Livros em Inglês  >  Outros

Sugestões

Sacred Zohar Single Qa
78,55€
Kabbalah Centre Europe Ltd
Sie Besiegten Atlantis
28,88€
LIGHTNING SOURCE UK LTD
X
O QUE É O CHECKOUT EXPRESSO?


O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.