Liknande böcker

Shape Grammars and their Uses
Bok av James Gips
Multivariate approximation theory IV : proceedings of the conference at...
Bok av Charles K Chui
Topics in Control Theory
Bok av Hans W. Knobloch
An Introduction to Symbolic Logic
Bok av Susanne K Langer
How to Solve Mathematical Problems [electronic resource]
Bok av Wayne A. Wickelgren
A Course of Modern Analysis
Bok av Edmund Taylor Whittaker
Contributions to Operator Theory and its Applications
Bok av I. editor. Gohberg
Handbook of Logic in Computer Science: Volume 2. Background: Computation...
Bok av Dov M. Gabbay

Introduction to Mathematical Logic

Bok av Elliott Mendelson
The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosse