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

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 …

40 Puzzles and Problems in Probability and Mathema 数学,in,and,Statistics,Springer,Puzzles,Problems,Probability,　2020-02-20 …

Thinking with Type, 2nd revised and expanded editi 设计,Typography,字体,平面设计,Design,字体设计,graphic_design,typography,　2020-02-20 …

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

Popular Lectures on Mathematical Logic Logics,王浩,数学,（旧版）,逻辑,数理逻辑,(English),　2020-02-20 …

Quantum Field Theory in Condensed Matter Physics ( 凝聚态理论,物理,量子场论,凝聚态物理,QFT,强关联系统,Nagaosa,physics,　2020-02-20 …