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

Subjects: “…Logic, Symbolic and mathematical.…”
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

Subjects: “…Logic, Symbolic and mathematical. sh 85078115…”
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)

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)

The foundations of mathematics / Ian Stewart and David Tall. by Stewart, Ian, 1945-, Tall, David Orme

Table of Contents: “…Cover; Preface to the Second Edition; Preface to the First Edition; Contents; Part I The Intuitive Background; 1 Mathematical Thinking; 2 Number Systems; Part II The Beginnings of Formalisation; 3 Sets; 4 Relations; 5 Functions; 6 Mathematical Logic; 7 Mathematical Proof; Part III The Development of Axiomatic Systems; 8 Natural Numbers and Proof by Induction; 9 Real Numbers; 10 Real Numbers as a Complete Ordered Field; 11 Complex Numbers and Beyond; Part IV Using Axiomatic Systems; 12 Axiomatic Systems, Structure Theorems, and Flexible Thinking; 13 Permutations and Groups; 14 Cardinal Numbers.…”
Full text (Wentworth users only)

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

Subjects: “…Logic, Symbolic and mathematical Congresses.…”
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

Subjects: Full text (Wentworth users only)

Logic and Discrete Mathematics A Concise Introduction, Solutions Manual. by Conradie, Willem

Table of Contents: “…Cover -- Title Page -- Copyright -- Contents -- Preface -- About the Companion Website -- Chapter 1 Preliminaries -- 1.1 Sets -- 1.2 Basics of logical connectives and expressions -- 1.3 Mathematical induction -- Chapter 2 Sets, Relations, Orders -- 2.1 Set inclusions and equalities -- 2.2 Functions -- 2.3 Binary relations and operations on them -- 2.4 Special binary relations -- 2.5 Equivalence relations and partitions -- 2.6 Ordered sets -- 2.7 An introduction to cardinality -- 2.8 Isomorphisms of ordered sets. …”
Full text (Wentworth users only)

Logic and Discrete Mathematics A Concise Introduction. by Conradie, Willem

Table of Contents: “…Intro -- Title Page -- Copyright -- Table of Contents -- List of Boxes -- Preface -- Acknowledgements -- About the Companion Website -- Chapter 1: Preliminaries -- 1.1 Sets -- 1.2 Basics of logical connectives and expressions -- 1.3 Mathematical induction -- Chapter 2: Sets, Relations, Orders -- 2.1 Set inclusions and equalities -- 2.2 Functions -- 2.3 Binary relations and operations on them -- 2.4 Special binary relations -- 2.5 Equivalence relations and partitions -- 2.6 Ordered sets -- 2.7 An introduction to cardinality -- 2.8 Isomorphisms of ordered sets. …”
Full text (Wentworth users only)

The logical foundations of mathematics / by William S. Hatcher. by Hatcher, William S.

Table of Contents: “…Front Cover; The Logical Foundations of Mathematics; Copyright Page; Dedication; Preface; Table of Contents; Chapter 1. …”
Full text (Wentworth users only)

Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions /...

Table of Contents: “…Mori, Irrational-based computability of functions -- M. Yasugi, “Gaisi Takeuti’s finitist standpoint” and its mathematical embodiment -- Y. …”
Full text (Wentworth users only)

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

Subjects: Full text (Wentworth users only)

Logic and Computation

“…Contemporary Mathematics…”
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)

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)

Handbook of Mathematical Induction. by Gunderson, David S.

Table of Contents: Full text (Wentworth users only)