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

Full text (Wentworth users only)

Mathematical logic / Ian Chiswell and Wilfrid Hodges. by Chiswell, Ian, 1948-

Full text (Wentworth users only)

Mathematical Logic / by H.-D. Ebbinghaus, J. Flum, W. Thomas. by Ebbinghaus, H.-D

Full text (Wentworth users only)

Mathematical Logic Foundations for Information Science / by Wei Li. by Li, Wei

Table of Contents: “…Preface -- Preface to the Second Edition -- I Elements of Mathematical Logic -- 1 Syntax of First-Order Languages -- 2 Models of First-Order Languages -- 3 Formal Inference Systems -- 4 Computability & Representability -- 5 Gödel Theorems -- II Logical Framework of Scientific Discovery -- 6 Sequences of Formal Theories -- 7 Revision Calculus -- 8 Version Sequences -- 9 Inductive Inference -- 10 Meta-Language Environments -- Appendix 1 Sets and Maps -- Appendix 2 Proof of the Representability Theorem -- Bibliography -- Index.…”
Full text (Wentworth users only)

Mathematical Logic. by Bimbo, Katalin

Full text (WIT users only)

Mathematical logic / by Joseph R. Shoenfield. by Shoenfield, Joseph R. (Joseph Robert), 1927-

Table of Contents: “…chapter 1 The Nature of Mathematical Logic -- chapter 2 First-Order Theories -- chapter 3 Theorems in First-Order Theories -- chapter 4 The Characterization Problem -- chapter 5 The Theory of Models -- chapter 6 1C alcu lab ility -- chapter 7 Recursion Theory -- chapter 8 The Natural Numbers -- chapter 9 Set Theory.…”
Full text (WIT 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)

Mathematical Logic Exercises and Solutions / by Laszlo Csirmaz, Zalán Gyenis. by Csirmaz, László, Gyenis, Zalán

Full text (Wentworth users only)

Mathematical logic / George Tourlakis. by Tourlakis, George J.

Full text (Wentworth 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 (Wentworth users only)

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

Table of Contents: “…Philosophical aspects of 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)

Aspects of Mathematical Logic edited by E. Casari. by Casari, E.

Full text (Wentworth users only).

Introduction to mathematical logic / by Elliott Mendelson. by Mendelson, Elliott

Full text (WIT users only)

Fundamentals of Mathematical Logic / Peter G. Hinman. by Hinman, Peter G.

Full text (WIT users only)

Mathematics, Logic, and their Philosophies Essays in Honour of Mohammad Ardeshir / edited by Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour.

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 /...

Full text (Wentworth users only)

An Invitation to Mathematical Logic by David Marker. by Marker, David

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

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

Full text (Wentworth users only)

A Course on Mathematical Logic by S. M. Srivastava. by Srivastava, S. M.

Full text (Wentworth users only).