Simple Type Theory

Name: Simple Type Theory
Price: 96.55 EUR
Author: William M. Farmer
ISBN: 9783031211119

A Practical Logic For Expressing And Reasoning About Mathematical Ideas

de William M. Farmer

idioma: inglês

Editor: BIRKHAUSER VERLAG AG, Janeiro de 2023 ‧ ver detalhes do produto

(0)

ESGOTADO OU NÃO DISPONÍVEL

Simple Type Theory

A Practical Logic For Expressing And Reasoning About Mathematical Ideas

de William M. Farmer
Propriedade	Descrição
ISBN:	9783031211119
Editor:	BIRKHAUSER VERLAG AG
Data de Lançamento:	Janeiro de 2023
Idioma:	Inglês
Dimensões:	155 x 235 x 20 mm
Encadernação:	Capa dura
Páginas:	295
Tipo de produto:	Livro
Coleção:	Computer Science Foundations And Applied Logic
Classificação Temática:	Livros em Inglês > Ciências Exatas e Naturais > Matemática Livros em Inglês > Outros
EAN:	9783031211119