A systematic treatment of Boolean reasoning, this concise, newly revised edition combines the works of early logicians with recent investigations, including previously unpublished research results.
……続きを見る
Geared toward college undergraduates new to the subject, this concise introduction to formal logic was written by Alice Ambrose and Morris Lazerowitz, a pair of noted scholars and prolific authors i……続きを見る
著者:C. L. Hamblin
出版社: Taylor & Francis
発売日: 2019年11月04日
Originally published in 1966. This is a self-instructional course intended for first-year university students who have not had previous acquaintance with Logic. The book deals with "propositional" l……続きを見る
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
Computer scientists use logic for testing an……続きを見る
著者:Marc Chamberland
出版社: Princeton University Press
発売日: 2015年06月02日
The remarkable properties of the numbers one through nine
In Single Digits, Marc Chamberland takes readers on a fascinating exploration of small numbers, from one to nine, looking at their history, ……続きを見る
著者:Adam Brandenburger
出版社: World Scientific Publishing Company
発売日: 2014年02月14日
This volume contains eight papers written by Adam Brandenburger and his co-authors over a period of 25 years. These papers are part of a program to reconstruct game theory in order to make how playe……続きを見る
Per Martin-L?f's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical sign……続きを見る
Designed as a method for teaching correct mathematical thinking to high school students, this book contains a brilliantly constructed series of what the authors call "lapses," erroneous statements t……続きを見る
Non un libro di regole né un eserciziario. Semplicemente un libro di lettura per scoprire e riflettere su quanto e come le comuni operazioni aritmetiche, e più in generale il pensiero matematico, re……続きを見る
For Gödel’s theorems there are truths that escape axiomatic systems. This phenomenon in mathematical logic is called incompleteness. This book deals precisely with mathematical truths that axiomatic……続きを見る