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
An Introduction to Mathematical Logic
Language: en
Pages: 514
Authors: Richard E. Hodel
Categories: Mathematics
Type: BOOK - Published: 2013-01-01 - 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
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: 458
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: 461
Authors: C. J. Date
Categories: Computers
Type: BOOK - Published: 2007 - Publisher: Trafford Publishing

Logic and databases are inextricably intertwined. The relational model in particular is essentially just elementary predicate logic, tailored to fit the needs o
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
Excursions in the History of Mathematics
Language: en
Pages: 347
Authors: Israel Kleiner
Categories: Mathematics
Type: BOOK - Published: 2012-02-02 - Publisher: Springer Science & Business Media

This book comprises five parts. The first three contain ten historical essays on important topics: number theory, calculus/analysis, and proof, respectively. Pa
Database Explorations
Language: en
Pages: 551
Authors: C. J. Date
Categories: Computers
Type: BOOK - Published: 2010-07 - Publisher: Trafford Publishing

A note from the authors: Dear Reader: "Database is boring." That sentiment is heard all too widely these days. But it's so wrong! The database field is full of