Mathematical Intuitionism (Record no. 14047)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01253cam a2200229 a 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 871116s1988 us b 001 0 eng |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 0821845209 |
041 1# - LANGUAGE CODE | |
Language code of text/sound track or separate title | eng |
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
Universal Decimal Classification number | 510.6 |
Item number | DRA |
100 1# - MAIN ENTRY--AUTHOR NAME | |
Personal name | Dragalin, A.G |
245 10 - TITLE STATEMENT | |
Title | Mathematical Intuitionism |
Sub Title | Introduction to Proof Theory |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Providence, R.I |
Name of publisher | American Mathematical Society |
Year of publication | 1988 |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | ix, 228p. |
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE | |
Title | Translations of mathematical monographs |
500 ## - GENERAL NOTE | |
General note | Translation of Mathematical intuitionism |
505 ## - FORMATTED CONTENTS NOTE | |
Formatted contents note | Logic Arithmetic Algebraic models Analysis Eliminability of cuts in the intuitionistic simple theory of types in the form of a sequent calculus with extensionality Appendix A: An algebraic approach to models of realizability type Appendix B: A strong form of the normalization theorem. |
520 ## - SUMMARY, ETC. | |
Summary, etc | In the area of mathematical logic, a great deal of attention is now being devoted to the study of nonclassical logics. This book intends to present the most important methods of proof theory in intuitionistic logic and to acquaint the reader with the principal axiomatic theories based on intuitionistic logic. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Intuitionistic mathematics |
690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
Topical term or geographic name as entry element | Mathematics |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Mendelson, E (Translated) |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | BOOKS |
Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Full call number | Accession Number | Koha item type |
---|---|---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | First Floor, Rack No: 28, Shelf No: 1 | 510.6 DRA | 36718 | BOOKS |