عنوان
پدید آورنده
موضوع
رده
QA9 .B974 2011
QA9
.
B974
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9048160790
(Number (ISBN
9401599343
(Number (ISBN
9789048160792
(Number (ISBN
9789401599344
NATIONAL BIBLIOGRAPHY NUMBER
Number
b596538
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
An introduction to mathematical logic and type theory :
General Material Designation
[Book]
Other Title Information
to truth through proof
First Statement of Responsibility
by Peter B. Andrews.
EDITION STATEMENT
Edition Statement
2nd ed
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht ; London
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(1 v) : ill.
SERIES
Series Title
Applied logic series, 27
GENERAL NOTES
Text of Note
Previous edition: London: Academic, 1986.
CONTENTS NOTE
Text of Note
Preface to the Second Edition. Preface. Introduction. 1. Propositional Calculus. 2. First-Order Logic. 3. Provability and Refutability. 4. Further Topics in First-Order Logic. 5. Type Theory. 6. Formalized Number Theory. 7. Incompleteness and Undecidability. Supplementary Exercises. Summary of Theorems. Bibliography. List of Figures. Index.
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical.
Type theory.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
Book number
.
B974
2011
PERSONAL NAME - PRIMARY RESPONSIBILITY
by Peter B. Andrews.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Peter Bruce Andrews
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
