A Profile of Mathematical Logic

A Profile of Mathematical Logic

This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize–winning book was inspired by this work.


Author
Publisher Courier Corporation
Release Date
ISBN 0486139158
Pages 320 pages
A Profile of Mathematical Logic
Language: en
Pages: 320
Authors: Howard DeLong
Categories: Mathematics
Type: BOOK - Published: 2012-09-26 - Publisher: Courier Corporation

This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Ba
Notes Toward a Profile of Mathematical Logic
Language: en
Pages: 395
Authors: Howard DeLong
Categories: Logic, Symbolic and mathematical
Type: BOOK - Published: 1968 - Publisher:

An Introduction to Mathematical Logic
Language: en
Pages: 491
Authors: Richard E. Hodel
Categories: Mathematics
Type: BOOK - Published: 2013 - Publisher: Courier Corporation

This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics. The treatmentalso contains
Perspectives on the History of Mathematical Logic
Language: en
Pages: 195
Authors: Thomas Drucker
Categories: Mathematics
Type: BOOK - Published: 2009-05-21 - Publisher: Springer Science & Business Media

This volume offers insights into the development of mathematical logic over the last century. Arising from a special session of the history of logic at an Ameri
Mathematics and Logic
Language: en
Pages: 170
Authors: Mark Kac
Categories: Philosophy
Type: BOOK - Published: 1992-01-01 - Publisher: Courier Corporation

Fascinating study of the origin and nature of mathematical thought, including relation of mathematics and science, 20th-century developments, impact of computer
Logic and Relational Theory
Language: en
Pages: 512
Authors: C. J. Date
Categories: Computers
Type: BOOK - Published: 2020-06-06 - Publisher: Technics Publications

This book is a revised, upgraded, and hugely improved version of an earlier one called Logic and Databases. Although it’s effectively a brand new book, theref
A First Course in Logic
Language: en
Pages: 252
Authors: Mark Verus Lawson
Categories: Mathematics
Type: BOOK - Published: 2018-12-07 - Publisher: CRC Press

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three compo
New Directions in the Philosophy of Mathematics
Language: en
Pages: 436
Authors: Thomas Tymoczko
Categories: Mathematics
Type: BOOK - Published: 1998-02 - Publisher: Princeton University Press

The traditional debate among philosophers of mathematics is whether there is an external mathematical reality, something out there to be discovered, or whether
Logic and Databases
Language: en
Pages: 445
Authors: C. J. Date
Categories: Computers
Type: BOOK - Published: 2007 - Publisher: Trafford Publishing

Databases are based on logic - right? Everybody knows that. Or do they? Chris Date's most recent book explores the myriad ways in which logic affects the databa
Discrete Mathematics
Language: en
Pages: 758
Authors: James L. Hein
Categories: Computers
Type: BOOK - Published: 2003 - Publisher: Jones & Bartlett Learning

Winner at the 46th Annual New England Book Show (2003) in the "College Covers & Jackets" category This introduction to discrete mathematics prepares future comp