A Concise Introduction to Mathematical Logic (Wolfgang Rautenberg)

 
0.0 (0)
A Concise Introduction to Mathematical Logic (Wolfgang Rautenberg)

Professor Wolfgang Rautenberg's textbook serves as an excellent introduction to the fascinating and well-organized field of mathematical logic. Classical topics like logical calculi, the origins of model theory, and Goedel's incompleteness theorems are included, along with certain topics driven by practical considerations, such as a chapter on logic programming.

This is essentially the English translation of the third German edition of Einleitung in die Mathematische Logik: A Textbook. of this excellent textbook, Wiesbaden: Vieweg+Teubner (2008; Zb1 1152.03-002). The book is still one of the best for computer scientists as well as mathematicians looking for an introduction to mathematical logic.

This book presents the most crucial information in an organized and condensed manner. The previous edition has been extensively revised and enlarged in the third edition. Although the book is meant to be used as graduate material, students who are interested in mathematical logic can simply study the first three chapters.

Ebook Details

About the Authors
Model theory, non-classical logic, modal logic, temporal logic, and self-reference were among the fields of study of German mathematician and logician Wolfgang Rautenberg.
Publisher
Published
Published Date / Year
3rd ed. edition (December 17, 2009)
Hardcover
340 pages
eBook Format
PDF
ISBN-10
1441912207
ISBN-13
978-1441912206 (Print) 978-1441912213 (Online)

Similar Programming & Computer Books

Traité de programmation en Common Lisp - Treaty of programming in Common Lisp (Robert Strandh, et al)
This free programming book is intended for graduate students in computer science. It can contribute to the support of several lessons, for example: an introductory...
Introduction à la programmation en Common Lisp - Introduction to programming in Common Lisp (Francis Leboutte)
This free programming guide is written with both Common Lisp beginners and programming beginners in mind; there are no requirements for reading it. Only a small portion of Common...
The Complexity of Boolean Functions (Ingo Wegener)
One of the most fascinating and crucial areas of theoretical computer science presently includes research on the difficulty of Boolean functions in non-uniform processing models. It directly relates to...
Logic and the Foundations of Game and Decision Theory (Giacomo Bonanno, et al)
The Foundations of Game Theory and Decision Making Logic The present collection provides a vibrant and comprehensive overview of a fascinating and quickly developing field, and theory is a...
An Architecture for Combinator Graph Reduction (Philip J. Koopman, Jr.)
The outcomes of research using an abstract machine and cache simulation for decreasing combinator graphs are provided. For similar types of combinator graphs on comparable types of hardware, the...
Applied Combinatorics on Words (M. Lothaire)
This volume's goal is to provide a comprehensive analysis of some of the main areas in which combinatorics is applied. Core algorithms for text processing, natural language processing, audio...
A = B (Marko Petkovsek, et al)
Mathematicians and computer scientists who deal on combinatorics and finite mathematics will find this book interesting. It offers a ground-breaking approach to examining intricate summaries. ...
You might think of this open-source book as a lesson and a collection of notes on convex sets, polytopes, polyhedra, combinatorial topology, Voronoi Diagrams, and Delaunay triangulations. It is...
Mathematical Background: Foundations of Infinitesimal Calculus (K. Stroyan)
This mathematical "background" book demonstrates how to complete the mathematical intricacies of the main course topics. These proofs are technically infallible and entirely rigorous in the sense of contemporary...
Scheme 9 from Empty Space: A Guide to Implementing Scheme in C (Nils M. Holm)
This free programming book serves as a comprehensive guide to the internal workings of the named scheme system. It offers a thorough explanation of every facet of a complex...

Others Programming Books by Springer

Stochastic Calculus and Finance (Steven E. Shreve)
The first 10 years of the Carnegie Mellon Professional Master program in Computational Finance led to the development of stochastic calculus for finance. Students with calculus and probability based...
Handbook of Digital Face Manipulation and Detection: From DeepFakes to Morphing Attacks (Christian Rathgeb, et al)
The first thorough compilation of research on the popular subject of digital face alteration, including DeepFakes, Face Morphing, and Reenactment, is offered in this open access book. ...
Bayes Factors for Forensic Decision Analyses with R (Silvia Bozza, et al)
With the help of the R programming language, this book offers a self-contained introduction to computational Bayesian statistics. This free programming book, which primarily focuses on Bayes factors supported...
Multimedia Forensics (Husrev Taha Sencar, et al)
The field of media forensics has never been more important to modern society. Media content not only makes up an ever-growing portion of the data that is transmitted over...
MMIXware: A RISC Computer for the Third Millennium (Donald E. Knuth)
This free programming book is a compilation of CWEB applications that turn MMIX into a virtual world. Among the included utilities are two simulators that run the programs in...
Ada 95 Rationale - The Language - The Standard Libraries (Laurent Guerby)
The justification for Ada 95, the updated International Standard, is discussed in this book. The first section, titled "Introduction to Ada 95," provides a general discussion of the program's...
Ada 95 Reference Manual: Language and Standard Libraries (Tucker S. Taft, et al)
The new International Standard ISO/IEC 8652:1995(E) for the Ada programming language is nearly identical to this Ada 95 Reference Manual.
Ada 95: The Lovelace Tutorial (David A. Wheeler)
Ada 95, one of the most popular programming languages in use today, is introduced by Lovelace. No prior knowledge of Ada is assumed, and all the fundamentals of the...
Introducing Ada 95 - The Language for a Complex World (John Barnes)
Ada is a programming language of particular value when creating large, reliable programs. This document introduces Ada 95, the updated International Standard, which increases Ada's flexibility and expands its...
Mathematical Modeling of the Human Brain: From Magnetic Resonance Images to Finite Element Simulation (Kent-André Mardal, et al)
This open-access book connects standard imaging and neuroscience technologies with the numerical solution of PDEs for brain modeling.
Mobile Forensics - The File Format Handbook (Christian Hummert, et al)
This free book compiles information on several file systems and file formats frequently used on mobile devices. Along with a basic explanation of the formats, there is information about...
Concrete Semantics: With Isabelle/HOL (Tobias Nipkow, et al.)
The reader learns how to use a proof assistant as a practical instrument for formal proofs concerning computer science artifacts as well as the art of exact logical reasoning...
Lectures on Symplectic Geometry (Ana Cannas da Silva)
These notes are intended to give graduate students who have some background in differential geometry, de Rham theory, and classical Lie groups a quick introduction to symplectic geometry. ...
Theory of Seismic Imaging (John A. Scales)
Currently, seismic imaging techniques are used to create images of the Earth's subsurface properties at a variety of length scales, from long-period images of the entire planet to high-resolution,...
Quantum Computing for the Quantum Curious (Ciaran Hughes, et al.)
With the publication of this open-access book, quantum computing is now more available than ever. Quantum computing, a rapidly expanding area at the nexus of physics and computer science,...
Scaling a Software Business: The Digitalization Journey (B. Fitzgerald, et al.)
The game's rules have been altered by software. Everyone talks about how society and industry are becoming more digitalized, and how the emphasis has switched from creating actual goods...
A Practical Theory of Programming (Eric C.R. Hehner)
Understanding the underlying theoretical paradigm is necessary to comprehend programming and programming languages. This book examines programming concepts that can be mathematically proven.
Error-Correction Coding and Decoding (Martin Tomlinson, et al)
The theory and practical uses of self-correcting data, sometimes known as error-correcting codes, are covered in this book.
The Functional Analysis of Quantum Information Theory (Ved Prakash Gupta, et al)
With a particular emphasis on their use in quantum information science, this book gives readers a condensed introduction to recent studies on operator algebras and their generalizations, operator spaces,...
Bayesian Methods in the Search for MH370 (Samuel Davey, et al.)
This book shows how a probability distribution of potential MH370 flight trajectories was generated using nonlinear/non-Gaussian Bayesian time series estimate techniques.

User reviews

There are no user reviews for this listing.
Ratings
Rate this Book
Comments