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

A Profile of Mathematical Logic

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

Notes Toward a Profile of Mathematical Logic

Authors: Howard DeLong
Categories: Logic, Symbolic and mathematical
Type: BOOK - Published: 1968 - Publisher:

An Introduction to Mathematical Logic
Language: en
Pages: 491

An Introduction to Mathematical Logic

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

Perspectives on the History of Mathematical Logic

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

Mathematics and Logic

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

Logic and Relational Theory

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

A First Course in Logic

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

New Directions in the Philosophy of Mathematics

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

Logic and Databases

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

Discrete Mathematics

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