An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities.

Mode of access: Internet.

An investigation of the laws of thought, on which are founded mathematical theories of logic and probabilities.

Mode of access: Internet.

A comparative discussion of variable-valued logic and grammatical inference /

Bibliography: p. 45-46.

Probability and the logic of rational belief.

Includes bibliography.

Symbolic logic,

"Index of bibliographical references": p. [439]-443.

An introduction to modern logic; an elementary textbook of symbolic logic.

Mode of access: Internet.

Mathematics and logic for digital devices.

Mode of access: Internet.

A decision method for elementary algebra and geometry

"This report...was written while the project was a part of Douglas Aircraft Co., inc."

A primer of logic,

Mode of access: Internet.

Is proof dead in the age of computers?

Some knowledge of what it means to construct a proof is an extremely important part of mathematics. All mathematics teachers and students should have some exposure to the ideas of proof and proving. This paper deals with the issue of creating proofs in mathematics problems.

Teoria de conjuntos fuzzy e aplicações

Pós-graduação em Matemática Universitária - IGCE

Das Anwendungsproblem : Ein philosophischer Versuch über das Gesetz der grossen Zahlen und die Induktion.

Mode of access: Internet.

Le rationnel, études complémentaires à l'Essai sur la certitude logique,

Mode of access: Internet.