Constructive Zermelo-Fraenkel in Martin-Löf type theory-HT_eFdXKJbs Explosion and Minimal Logic-eeLa9tIhFMs Heyting algebras and Negation-ws6vCT7ExTY How many subsets does the set {7} have-EEaRWtZEXwk Infinitesimals in Synthetic Differential Geometry-utJjFMWWq2Y Modal logic formalization of ...
丛书系列:Studies in Logic and the Foundations of Mathematics图书标签: 集合论 逻辑学 数学 数理逻辑 Mathematics-Set_Theory Math 逻辑 语言学 Set Theory 2024 pdf epub mobi 电子书 图书描述 Many branches of abstract mathematics have been affected by the modern independence proofs in set theory. This ...
If the student has previous notions of basic set theory, this approach to semantical tableaux can clarify her the way semantic trees operate, linking the syntactical and semantical sides of the process. Also, it may be useful for the introduction of more advanced topics in logic, like modal ...
This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes ar...
Set theory and logic explains sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathematics, Boolean algebras, informal axiomatic set theory, several algebraic theoriesStoll... RR Stoll - Freeman 被引量: 213...
This two-volume 2003 work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volum...
It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis and the axiom of choice. Aimed at graduate students and researchers in mathematics, mathematical logic, philosophy, and computer science, the ...
关键词: computational complexity formal logic set theory BIT-structures complexity theory finite set theory first-order logic fixed-point logic least fixed-point logic ordered conjecture 会议名称: Symposium on Logic in Computer Science 会议时间: 1999 ...
In turn, the Z notation is based on first-order logic with equality and Zermelo-Fraenkel set theory. In this way, a test case is a witness ... M Cristiá,Claudia S. Frydman - 《Electronic Proceedings in Theoretical Computer Science》 被引量: 15发表: 2012年 A Foundation of Finite Mathema...
Lectures in Logic and Set Theory 作者:Tourlakis, George 出版年:2010-9 页数:342 定价:$ 50.85 ISBN:9780521168465 豆瓣评分 评价人数不足 评价: 写笔记 写书评 加入购书单 分享到 + 加入购书单