The Haskell Road to Logic, Maths and Programming. Second Edition读书介绍

类别	页数	译者	网友评分	年代	出版社
书籍	450页			2020

定价	出版日期	最近访问	访问指数
	2020-02-20 …	2020-05-22 …	87

主题/类型/题材/标签

作者

Doets, Kees; Eijck, Van Jan; ISBN:9781954300699 原作名/别名:《》

内容和作者简介

The Haskell Road to Logic, Maths and Programming. Second Edition摘要作者简介

本书后续版本

未发行或暂未收录

喜欢读〖The Haskell Road to Logic, Maths and Programming. Second Edition〗的人也喜欢：

Introduction to Logic 逻辑,Logic,逻辑学,哲学,经典教材,Philosophy,美国,英语,　2020-02-20 …

A Mathematical Introduction to Logic 数理逻辑,逻辑学,Mathematics,Logic,数学,计算机,计算机科学,MathSetTheoryLogic,　2020-02-20 …

Set Theory and Its Logic, Revised Edition 邏輯,數學,集合论,Math,MathLogic,SetTheory,　2020-02-20 …

An Introduction to Probability and Inductive Logic 归纳逻辑,逻辑学,概率,科学哲学,数学,思维训练,課本,统计,　2020-02-20 …

Everything that Linguists have Always Wanted to Kn 语言学,逻辑学,语义学,Linguistics,工具书,哲学,logic,　2020-02-20 …

An Introduction to Mathematical Logic and Type The 数理逻辑,数学,PLT,Math,逻辑学,计算机科学,计算机,类型论,　2020-02-20 …