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

Full text (MCPHS users only)

Mathematical Logic / by Ebbinghaus, H.-D

Full text (MCPHS users only)

Mathematical logic / by Chiswell, Ian, 1948-

Full text (MCPHS users only)

Handbook of Mathematical Logic. by Barwise, Jon

Table of Contents: “…Front Cover; Handbook of Mathematical Logic; Contributors; Copyright Page; Part A: Model Theory; Foreword; Table of Contents; Part B: Set Theory; Part C: Recursion Theory; Part D: Proof Theory And Constructive Mathematics Guide To Part D; Author Index; Subject Index.…”
Full text (MCPHS users only)

Methods and Applications of Mathematical Logic. by Carnielli, Walter A.

Table of Contents: “…Philosophical aspects of mathematical logic""…”
Full text (MCPHS users only)

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

Full text (MCPHS users only)

Lectures in logic and set theory : mathematical logic. by Tourlakis, George J.

Full text (MCPHS users only)

A tour through mathematical logic / by Wolf, Robert S.

Table of Contents: “…Cover -- copyright page -- title page -- Preface -- Contents -- 1 Predicate Logic -- 1.1 Introduction -- A very brief history of mathematical logic -- Short Bio: Bertrand Russell -- 1.2 Propositional logic -- 1.3 Quantifiers -- Uniqueness -- Proof methods based on quantifiers -- Translating statements into symbolic form -- 1.4 First-order languages and theories -- Short Bio: Euclid -- 1.5 Examples of first-order theories -- 1.6 Normal forms and complexity -- Second-order logic and Skolem form -- 1.7 Other logics -- Many-valued logic -- Fuzzy logic -- Modal logic -- Nonmonotonic logic.…”
Full text (MCPHS users only)

A tour through mathematical logic / by Wolf, Robert S.

Table of Contents: “…Cover -- copyright page -- title page -- Preface -- Contents -- 1 Predicate Logic -- 1.1 Introduction -- A very brief history of mathematical logic -- Short Bio: Bertrand Russell -- 1.2 Propositional logic -- 1.3 Quantifiers -- Uniqueness -- Proof methods based on quantifiers -- Translating statements into symbolic form -- 1.4 First-order languages and theories -- Short Bio: Euclid -- 1.5 Examples of first-order theories -- 1.6 Normal forms and complexity -- Second-order logic and Skolem form -- 1.7 Other logics -- Many-valued logic -- Fuzzy logic -- Modal logic -- Nonmonotonic logic.…”
Full text (MCPHS users only)

Kripke's worlds

Subjects: “…Nonclassical mathematical logic.…”
Full text (MCPHS users only)

A First Course in Mathematical Logic and Set Theory by O'Leary, Michael L.

Full text (MCPHS users only)

Mathematical logic in the 20th century /

“…Mathematical logic in the twentieth century…”
Full text (MCPHS users only)

Decision problems for equational theories of relation algebras by Andréka, H.

Subjects: Full text (MCPHS users only)

Language and godels theorem : a revised edition. by Tice, Bradley S.

Subjects: Full text (MCPHS users only)

Deducibility and Decidability. by Gill, R. R. Rockingham

Subjects: “…Decidability (Mathematical logic)…”
Full text (MCPHS users only)

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

Subjects: Full text (MCPHS users only)

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

Subjects: Full text (MCPHS users only)

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

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

Essays on Non-Classical Logic. by Wansing, H. (Heinrich)

Subjects: Full text (MCPHS users only)

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 / by Mancosu, Paolo

Table of Contents: “…The development of mathematical logic from Russell to Tarski, 1900-1935 (with Richard Zach and Calixto Badesa) -- Hilbert and Bernays on metamathematics ; addendum -- Between Russell and Hilbert : Behmann on the foundations of mathematics -- The Russellian influence on Hilbert and his school -- On the constructivity of proofs : a debate among Behmann, Bernays, Gödel, and Kaufmann -- Wittgenstein's constructivization of Euler's proof of the infinity of primes (with Mathieu Marion) -- Between Vienna and Berlin : the immediate reception of Godel's incompleteness theorems -- Review of Gödel's collected works, vols. …”
Full text (MCPHS users only)

Degree spectra of relations on a cone by Harrison-Trainor, Matthew, 1990-

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

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

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

Operator theory : nonclassical problems by Pyatkov, S. G.

Subjects: Full text (MCPHS users only)

Constitutional calculus : how mathematical logic can help America become a just society / by Suzuki, Jeff

Full text (MCPHS users only)

Decidability and Boolean representations by Burris, Stanley, McKenzie, Ralph

Subjects: Full text (MCPHS users only)

Intuition et déduction en mathématiques. by Leclercq, Bruno

Subjects: “…;MATHEMATICS -- Infinity.;MATHEMATICS -- Logic.…”
Full text (MCPHS users only)

An Introduction to Non-Classical Logic : From If to Is by Priest, Graham

Subjects: Full text (MCPHS users only)

Nonclassical and inverse problems for pseudoparabolic equations by Asanov, A., Atamanov, E. R.

Subjects: Full text (MCPHS users only)

An Introduction to Non-Classical Logic : From If to Is by Priest, Graham

Subjects: Full text (MCPHS users only)

One hundred years of Russell's paradox : mathematics, logic, philosophy /

Full text (MCPHS users only)

Real existence, ideal necessity : Kant's compromise, and the modalities without the compromise by Greenberg, Robert, 1934-2024

Subjects: Full text (MCPHS users only)

Advances in Contemporary Logic and Computer Science by Carnielli, Walter A.

“…Advances in contemporary logic and computer science: proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil…”
Full text (MCPHS users only)

Andrzej Mostowski and foundational studies

Table of Contents: Full text (MCPHS users only)

Philosophy of mathematics in the twentieth century : selected essays by Parsons, Charles, 1933-

Table of Contents: “…5 GÖDEL'S "RUSSELL'S MATHEMATICAL LOGIC" --…”
Full text (MCPHS users only)

Logic, Computation, Hierarchies.

“…Ontos mathematical logic.…”
Full text (MCPHS users only)

Ways of proof theory by Schindler, Ralf

“…Ontos mathematical logic ;…”
Full text (MCPHS users only)

Concepts of proof in mathematics, philosophy, and computer science

“…Ontos mathematical logic ;…”
Full text (MCPHS users only)

Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics

“…Ontos mathematical logic ;…”
Full text (MCPHS users only)

Logic, construction, computation

“…Ontos mathematical logic ;…”
Full text (MCPHS users only)

The Theory of Categorical Conversion : Rational Foundations of Nkrumaism in Socio-natural Systemicity and Complexity. by Dompere, Kofi

Table of Contents: “…Category Theory in Mathematics, Logic and Science --…”
Full text (MCPHS users only)