Journal ArticleDOI
Popular Lectures on Mathematical Logic.
James E. Baumgartner,Wang Hao +1 more
About:
This article is published in American Mathematical Monthly.The article was published on 1984-03-01. It has received 28 citations till now. The article focuses on the topics: Mathematical logic.read more
Citations
More filters
BookDOI
Mechanical theorem proving in geometries
TL;DR: The best ebooks about Mechanical Theorem Proving In Geometries that you can get for free here by download this Mechanical The theorem proving in geometries and save to your desktop.
Journal ArticleDOI
Is Logic the Key to All Good Reasoning
TL;DR: The syllabi, the textbooks and the curriculum design in elementary logic, reasoning, argumentation and critical thinking are all currently ill-conceived and ill-executed as discussed by the authors.
Journal ArticleDOI
Languages for the specification of software
TL;DR: The article divides the languages into four major categories based on the way the language specifies the external behavior of the system and on the ability of the language to specify concurrent systems.
Book ChapterDOI
Gödel vis-à-vis Russell: Logic and set Theory to Philosophy
Juliet Floyd,Akihiro Kanamori +1 more
TL;DR: Godel's work from the beginning to his first substantive explorations in philosophy would to a significant extent be contextualized by, reactive to, and reflective of, Russell's.
Journal ArticleDOI
In Praise of Replacement
TL;DR: A large mathematical perspective and historical basis for the Axiom of Replacement is presented as well as its importance as a central axiom of modern set theory is affirm.