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〗的人也喜欢：

Differential Equations, Dynamical Systems, and an 动力系统,ODE,Mathematics,Dynamic_System,数学,Textbook,MathDynamicSystem,MathDifferentialEquation,　2020-02-20 …

Differential Equations, Dynamical Systems, and an 数学,微分方程,动力系统,Mathematics,交叉学科,動態系統,mathematics,金融,　2020-02-20 …

An Introduction to Differentiable Manifolds and Ri 数学,几何,数学-微分几何,丘赛参考书,數學,技术,微分几何7,微分几何,　2020-02-20 …

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

The Forgotten Language; An Introduction to the Und 精神分析,Psycho,释梦理论,History,Fromm,　2020-02-20 …

An Introduction to Formal Language And Automata (4 formal_language,automata,cs,自动机,形式,オートマトンと言語,CS,　2020-02-20 …

An Introduction to Formal Languages and Automata, 编程,cs,计算机科学,英文原版,算法,数学,computation,CS,　2020-02-20 …

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

An Introduction to Multivariate Statistical Analys Statistics,Multivariate,统计学,统计,Mathematics,多元统计,概率统计,新水,　2020-02-20 …

An Introduction to Formal Languages and Automata 计算机,经典,形式化语言,专业,Language,Compiler,　2020-02-20 …