An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic /

"UILU-ENG 79 1714."

Canonical simplification of finite objects, well quasi-ordered by tree embedding /

"UILU-ENG 79 1727."

Degrees of unsolvability in the theory of programming languages,

Bibliography: p. 120-123.

Laerebog i matematisk analyse af Harald Bohr og Johannes Mollerup.

Mode of access: Internet.

Les appareils d'intégration: intégrateurs simples et composés; planimètres; intégromètres; intégraphes et courbes intégrales; analyse harmonique et analyseurs.

Available on demand as hard copy or computer file from Cornell University Library.

The elements of the differential calculus, comprehending the general theory of curve surfaces, and of curves of double curvature. Intended for the use of mathematical students in schools and universities.

Available on demand as hard copy or computer file from Cornell University Library.

Remarks on mathematical or demonstrative reasoning; its connexion with logic; and its application to science, physical and metaphysical, with reference to some recent publications.

Mode of access: Internet.

Mathematical tracts on the lunar and planetary theories, the figure of the earth, precession and nutation, the calculus of variations, and the undulatory theory of optics. Designed for the use of students in the university.

Mode of access: Internet.

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.

Selected problems of minimization of variable-valued logic formulas /

"UIUCDCS-R-75-726"

Minimization of logic networks under a generalized cost function /

Includes bibliographical references.

Outlines of mathematical science for the school room.

"An abridgment, with some changes and modifications, of the larger work, 'Logic and utility of mathematics'".--Pref.

Mathematical adventures,

"This book consists in the main of reprints of articles on the teaching of mathematics and on related topics which the author has written and published in educational journals at various times during the past ten years."--Foreword.