| 
|
Quote: mathematical logic is seldom used in proofs; it should be a calculational alternative to human reasoning
topics >
all references >
references c-d >
Topic:
mathematics as a formal system
Topic:
logic
Quotation Skeleton
Through most of this century, mathematical logic has … been given a fair chance. To realize its … as providing a calculational alternative to it. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: mathematics as a formal system (30 items)
Topic: logic (84 items)