Books on Mathematics - Mathematical Logic and Foundations Books

Classical Recursion Theory - book by Odifreddi, P.

DESCRIPTION: 1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles.Among the subjects covered are: various equival... view more info and the price of this book.

Computability, Complexity, Logic - book by Borger, E.

DESCRIPTION: The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and... view more info and the price of this book.

Model Theory - book by Chang, C.C.;Keisler, H.J.

DESCRIPTION: Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of... view more info and the price of this book.

Handbook of Proof Theory - book by Buss, S.R.

DESCRIPTION: This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, co... view more info and the price of this book.

Constructivism in Mathematics : Volume 1 - book by Troelstra, A.S.;Van Dalen, D.

DESCRIPTION:

TABLE OF CONTENTS: 1. Introduction. 2. Logic. 3. Arithmetic. 4. Non-Classical Axioms. 5. Real Numbers. 6. Some Elementary Analysis. Bibliography. Index.

AUTHORS: Troelstra, A.S.;Van Dalen, D.

PAGES: 358 pages

PUBLISH DATE: 01/07/1988

ISBN Number: 0-444-70266-0... view more info and the price of this book.

Constructivism in Mathematics : Volume 1 - book by Troelstra, A.S.;Van Dalen, D.

DESCRIPTION:

TABLE OF CONTENTS: 1. Introduction. 2. Logic. 3. Arithmetic. 4. Non-Classical Axioms. 5. Real Numbers. 6. Some Elementary Analysis. Bibliography. Index.

AUTHORS: Troelstra, A.S.;Van Dalen, D.

PAGES: pages

PUBLISH DATE: 01/08/1988

ISBN Number: 0-444-70506-6... view more info and the price of this book.

Constructivism in Mathematics : Volume 2 - book by Troelstra, A.S.;Van Dalen, D.

DESCRIPTION:

TABLE OF CONTENTS: 7. The Topology of Metric Spaces. 8. Algebra. 9. Finite Type Arithmetic and Theories of Operators. 10. Proof Theory of Intuitionistic Logic. 11. The Theory of Types and Constructive Set Theory. 12. Choice Sequences. 13. Semantical Completeness. 14. Sheaves, Sites a... view more info and the price of this book.

Handbook of Boolean Algebras : Volume 1 - book by Monk, J.D.

DESCRIPTION:

TABLE OF CONTENTS: I. General Theory of Boolean Algebras (S. Koppelberg). Elementary Arithmetic. Algebraic Theory. Topological Duality. Free Constructions. Infinite Operations. Special Classes of Boolean Algebras. Metamathematics. References. Index.

AUTHORS: Monk, J.D.

PAGES: 344... view more info and the price of this book.

Cylindric Algebras : Part I - book by Henkin, L.;Monk, J.D.;Tarski, A.

DESCRIPTION: Volume I provides a detailed analysis of cylindric algebras, starting with a formulation of their axioms and a development of their elementary properties, and proceeding to a deeper study of their interrelationships by means of general algebraic notions such as subalgebras, homomorphism... view more info and the price of this book.

The Lambda Calculus - book by Barendregt, H.P.

DESCRIPTION: The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then... view more info and the price of this book.

Handbook of Mathematical Logic - book by Barwise, J.

DESCRIPTION: The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this bo... view more info and the price of this book.

A Course in Mathematical Logic - book by Bell, J.L.;Machover, M.

DESCRIPTION: A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.

TABLE OF CONTENTS: 1. Beginning Mathema... view more info and the price of this book.

Fundamentals of Generalized Recursion Theory - book by Fitting, M.

DESCRIPTION:

TABLE OF CONTENTS:

AUTHORS: Fitting, M.

PAGES: 308 pages

PUBLISH DATE: 01/01/1981

ISBN Number: 0-444-86171-8... view more info and the price of this book.

Introduction to Metamathematics - book by Kleene, S.C.

DESCRIPTION:

TABLE OF CONTENTS:

AUTHORS: Kleene, S.C.

PAGES: 550 pages

PUBLISH DATE: 01/01/1980

ISBN Number: 0-7204-2103-9... view more info and the price of this book.

Classification Theory - book by Shelah, S.

DESCRIPTION: In this research monograph, the author's work on classification and related topics are presented. This revised edition brings the book up to date with the addition of four new chapters as well as various corrections to the 1978 text.The additional chapters X - XIII present the solution ... view more info and the price of this book.

Proof Theory and Logical Complexity : Volume I - book by Girard, J.-Y.

DESCRIPTION: This volume is the first in a series which will, in the future, be published jointly by Bibliopolis, Edizioni di Filosofia e Scienze spa, Napoli, and under the North-Holland imprint by Elsevier Science Publishers, Amsterdam.This is the first of a two-part work covering the main ideas an... view more info and the price of this book.

Truth, Possibility and Probability - book by Chuaqui, R.

DESCRIPTION: Anyone involved in the philosophy of science is naturally drawn into the study of the foundations of probability. Different interpretations of probability, based on competing philosophical ideas, lead to different statistical techniques, and frequently to mutually contradictory conseque... view more info and the price of this book.

Language in Action - book by van Benthem, J.

DESCRIPTION: This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface betw... view more info and the price of this book.

Admissibility of Logical Inference Rules - book by Rybakov, V.V.

DESCRIPTION: The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on:• admissible or permissible inference rules• the derivability of the admissible inference rules• the structural c... view more info and the price of this book.

The Quantum Brain - book by Stern, A.

DESCRIPTION: While for the majority of physicists the problem of the deciphering of the brain code, the intelligence code, is a matter for future generations, the author boldly and forcefully disagrees. Breaking with the dogma of classical logic he develops in the form of the conversion postulate a ... view more info and the price of this book.

Logical Frameworks for Truth and Abstraction - book by Cantini, A.

DESCRIPTION: This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, how... view more info and the price of this book.

Handbook of Logic and Language - book by van Benthem, J.;ter Meulen, A.

DESCRIPTION: This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science.The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of t... view more info and the price of this book.

Principles of Logic and Logic Programming - book by Metakides, G.;Nerode, A.

DESCRIPTION: Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed.With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical co... view more info and the price of this book.

Computable Structures and the Hyperarithmetical Hierarchy - book by Ash, C.J.;Knight, J.

DESCRIPTION: This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings... view more info and the price of this book.

Handbook of Computability Theory - book by Griffor, E.R.

DESCRIPTION: The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic resu... view more info and the price of this book.

Categorical Logic and Type Theory - book by Jacobs, B.

DESCRIPTION: This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.view more info and the price of this book.

Handbook of Recursive Mathematics : Recursive Model Theory - book by Ershov, Y.L.;Marek, V.W.;Goncharov, S.S.;Nerode, A.;Remmel, J.B.

DESCRIPTION:

TABLE OF CONTENTS: Introduction to the Handbook of Recursive Mathematics (Yu.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel). Pure computable model theory (V.S. Harizanov). Elementary theories and their constructive models (Yu.L. Ershov, S.S. Goncharov). Isomorphic recursive struc... view more info and the price of this book.

Handbook of Recursive Mathematics : Recursive Algebra, Analysis and Combinatorics - book by Ershov, Y.L.;Marek, V.W.;Goncharov, S.S.;Nerode, A.;Remmel, J.B.

DESCRIPTION:

TABLE OF CONTENTS: &Pgr;01 classes in mathematics (D. Cenzer, J.B. Remmel). Computability theory and linear orderings (R.G. Downey). Computable algebras and closure systems: coding properties (R.G. Downey, J.B. Remmel). A survey of recursive combinatorics (W. Gasarch). Constructive a... view more info and the price of this book.

Handbook of Recursive Mathematics : 2 Volume Set - book by Ershov, Y.L.;Marek, V.W.;Goncharov, S.S.;Nerode, A.;Remmel, J.B.

DESCRIPTION:

TABLE OF CONTENTS:

AUTHORS: Ershov, Y.L.;Marek, V.W.;Goncharov, S.S.;Nerode, A.;Remmel, J.B.

PAGES: 1464 pages

PUBLISH DATE: 01/12/1998

ISBN Number: 0-444-50107-X... view more info and the price of this book.

Classical Recursion Theory, Volume II - book by Odifreddi, P.

DESCRIPTION: Volume II of Classical Recursion Theory describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. The first half of the book provides a detailed picture of the computable sets from the persp... view more info and the price of this book.

Tools and Techniques in Modal Logic - book by Kracht, M.

DESCRIPTION: This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more de... view more info and the price of this book.

From Peirce to Skolem - book by Brady, Geraldine

DESCRIPTION: This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce and his student O.H. Mitchell, through the work of Ernst Schröder, Leopold Löwenheim, and Thoralf Skolem. As far as we know, this book is the first work delineatin... view more info and the price of this book.

Theory of Relations - book by Fraisse, R.

DESCRIPTION: Relation theory originates with Hausdorff (Mengenlehre 1914) and Sierpinski (Nombres transfinis, 1928) with the study of order types, specially among chains = total orders = linear orders. One of its first important problems was partially solved by Dushnik, Miller 1940 who, starting fr... view more info and the price of this book.

Relation Algebras by Games - book by Hirsch, R.;Hodkinson, I.

DESCRIPTION: Relation algebras are algebras arising from the study of binary relations. They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of represen... view more info and the price of this book.