An Introduction to Mathematical Logic and Type Theory读书介绍

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

定价	出版日期	最近访问	访问指数
USD 169.00	2020-02-20 …	2020-06-02 …	8

主题/类型/题材/标签

数理逻辑,数学,PLT,Math,逻辑学,计算机科学,计算机,类型论,

作者

Peter B. Andrews ISBN:9781402007637 原作名/别名:《》

内容和作者简介

An Introduction to Mathematical Logic and Type Theory摘要作者简介

本书后续版本

未发行或暂未收录

喜欢读〖An Introduction to Mathematical Logic and Type Theory〗的人也喜欢：

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

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

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

Introduction to Automata Theory, Languages, and C 计算机科学,自动机,计算理论,计算机,数学,CS,计算机论,automata,　2020-02-20 …

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

Introduction to Government and Binding Theory 语言学,句法学,Linguistics,Syntax,GB,句法,语言,语法,　2020-02-20 …

Introduction to Logic 逻辑学,逻辑,哲学,入门,Logic,数学,英文,Philosophy,　2020-02-20 …

Introduction to Superstrings and M-Theory 物理,加来道雄,physics,mathematics,　2020-02-20 …