|
|
Downloads via DownloadAccess - Give it a try!
Secure download via TorrentPrivacy| Category: | Books |
| Added: | 1 Year+ |
| Size: | 27 Megabyte |
| Peers: | 183 Seeders & 79 Leechers  [ Update ]updated '8 months ago' |
| Tracker: | http://www.h33t.com:3310 |
| Infohash: | bb646e3d71f9c6d351abfc505a279c1e55238551 |
Retrieving torrent peers info from tracker, please wait...Description:
*******************************************************************************
Foundations of Mathematical Logic
*******************************************************************************
-------------------------------------------------------------------------------
General Information
-------------------------------------------------------------------------------
Type.................: Ebook
Part Size............: 27,937,931 bytes
-------------------------------------------------------------------------------
Post Information
-------------------------------------------------------------------------------
Posted by............: ~tqw~
-------------------------------------------------------------------------------
Release Notes
-------------------------------------------------------------------------------
Comprehensive account of constructive theory of first-order predicate calculus.
Covers formal methods including algorithms and epi-theory, brief treatment of
Markov's approach to algorithms, elementary facts about lattices and similar
algebraic systems, more. Philosophical and reflective as well as mathematical.
Graduate-level course. 1963 edition. Exercises.
Table Of Contents
Preface; Explanation of Conventions
Chapter 1. Introduction
Chapter 2. Formal Systems
Chapter 3. Epitheory
Chapter 4. Relational logical algebra
Chapter 5. The Theory of Implication
Chapter 6. Negation
Chapter 7. Quantification
Chapter 8. Modality
Bibliography
Index
Product Details
* ISBN: 0486634620
* ISBN-13: 9780486634623
* Format: Paperback, 416pp
* Publisher: Dover Publications
* Pub. Date: January 1977
* Edition Number: 2
-------------------------------------------------------------------------------
Install Notes
-------------------------------------------------------------------------------
PDF Reader
*******************************************************************************
Foundations of Mathematical Logic
*******************************************************************************
-------------------------------------------------------------------------------
General Information
-------------------------------------------------------------------------------
Type.................: Ebook
Part Size............: 27,937,931 bytes
-------------------------------------------------------------------------------
Post Information
-------------------------------------------------------------------------------
Posted by............: ~tqw~
-------------------------------------------------------------------------------
Release Notes
-------------------------------------------------------------------------------
Comprehensive account of constructive theory of first-order predicate calculus.
Covers formal methods including algorithms and epi-theory, brief treatment of
Markov's approach to algorithms, elementary facts about lattices and similar
algebraic systems, more. Philosophical and reflective as well as mathematical.
Graduate-level course. 1963 edition. Exercises.
Table Of Contents
Preface; Explanation of Conventions
Chapter 1. Introduction
Chapter 2. Formal Systems
Chapter 3. Epitheory
Chapter 4. Relational logical algebra
Chapter 5. The Theory of Implication
Chapter 6. Negation
Chapter 7. Quantification
Chapter 8. Modality
Bibliography
Index
Product Details
* ISBN: 0486634620
* ISBN-13: 9780486634623
* Format: Paperback, 416pp
* Publisher: Dover Publications
* Pub. Date: January 1977
* Edition Number: 2
-------------------------------------------------------------------------------
Install Notes
-------------------------------------------------------------------------------
PDF Reader