Sets, Functions, and Logic : an Introduction to Abstract Mathematics, Third Edition. by Devlin, Keith

Full text (Wentworth users only)

Truth-Functional Logic.

Streaming video (Wentworth users only)

Sets, Functions, and Logic : an Introduction to Abstract Mathematics, Third Edition. by Devlin, Keith

Full text (WIT users only)

Three Views of Logic : Mathematics, Philosophy, and Computer Science. by Loveland, Donald W.

Table of Contents: “…Computability Theory; 4 Overview of Computability; 4.1 Decision Problems and Algorithms; 4.2 Three Informal Concepts; 5 A Machine Model of Computability; 5.1 Register Machines and RM-Computable Functions; 5.2 Operations with RM-Computable Functions; Church-Turing Thesis; LRM-Computable Functions; 5.3 RM-Decidable and RM-Semi-Decidable Relations; the Halting Problem; 5.4 Unsolvability of Hilbert's Decision Problem and Thue's Word Problem; 6 A Mathematical Model of Computability.…”
Full text (Wentworth users only)

Logic and Computation

Full text (Wentworth users only)

Logic Functions and Equations Fundamentals and Applications using the XBOOLE-Monitor / by Bernd Steinbach, Christian Posthoff. by Steinbach, Bernd, Posthoff, Christian

Full text (Wentworth users only)

Logic Functions and Equations Binary Models for Computer Science / by Christian Posthoff, Bernd Steinbach. by Posthoff, Christian, Steinbach, Bernd

Full text (Wentworth users only)

Three Views of Logic : Mathematics, Philosophy, and Computer Science. by Loveland, Donald W.

Table of Contents: “…Computability Theory; 4 Overview of Computability; 4.1 Decision Problems and Algorithms; 4.2 Three Informal Concepts; 5 A Machine Model of Computability; 5.1 Register Machines and RM-Computable Functions; 5.2 Operations with RM-Computable Functions; Church-Turing Thesis; LRM-Computable Functions; 5.3 RM-Decidable and RM-Semi-Decidable Relations; the Halting Problem; 5.4 Unsolvability of Hilbert's Decision Problem and Thue's Word Problem; 6 A Mathematical Model of Computability.…”
Full text (Wentworth users only)

Mathematical logic / by Willard Van Orman Quine. by Quine, W. V. (Willard Van Orman)

Full text (Wentworth users only)

Mathematical Logic by Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas. by Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang

Full text (Wentworth users only)

Reverse Mathematics Problems, Reductions, and Proofs / by Damir D. Dzhafarov, Carl Mummert. by Dzhafarov, Damir D., Mummert, Carl

Subjects: Full text (Wentworth users only)

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore. by Hirschfeldt, Denis Roman, Lange, Karen, 1980-, Shore, Richard A., 1946-

Subjects: Full text (Wentworth users only)

Minimal degrees of unsolvability and the full approximation construction / Richard L. Epstein. by Epstein, Richard L., 1947-

Subjects: “…Unsolvability (Mathematical logic)…”
Full text (Wentworth users only)

Introduction to Discrete Mathematics via Logic and Proof by Calvin Jongsma. by Jongsma, Calvin

Table of Contents: “…Preface -- List of Notations -- 1. Propositional Logic -- 2. First-Order Logic -- 3. Mathematical Induction and Arithmetic -- 4. …”
Full text (Wentworth users only)

Functional and Constraint Logic Programming 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / edited by Michael Hanus, Claudio Sa...

Full text (Wentworth users only)

Minimal weak truth table degrees and computably enumerable Turing degrees / Rodney G. Downey, Keng Meng Ng, Reed Solomon. by Downey, R. G. (Rod G.), Ng, Keng Meng, Solomon, Reed

Subjects: “…Unsolvability (Mathematical logic)…”
Full text (Wentworth users only)

Mathematical Logic in Asia : Proceedings of the 9th Asian Logic Conference. by Goncharov, S. S.

Full text (Wentworth users only)

Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms / by Hourya Benis-Sinaceur, Marco Panza, Gabriel Sandu. by Benis-Sinaceur, Hourya, Panza, Marco, Sandu, Gabriel

Full text (Wentworth users only)

Logic Functions and Equations Examples and Exercises / by Bernd Steinbach, Christian Posthoff. by Steinbach, Bernd

Full text (Wentworth users only).

Computability in context : computation and logic in the real world / editors, S. Barry Cooper, Andrea Sorbi.

Table of Contents: “…Stukachev -- 7. The mathematics of computing between logic and physics / G. …”
Full text (Wentworth users only)