MARC details
| 000 -LEADER |
|---|
| fixed length control field |
03136nam a22005055i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
978-0-387-38147-3 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250710083958.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
100301s2006 xxu| s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780387381473 |
| -- |
99780387381473 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-0-387-38147-3 |
| Source of number or code |
doi |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
511.3 |
| Edition information |
23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bridges, Douglas S. |
| Relator term |
author. |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Techniques of Constructive Analysis |
| Medium |
[recurso electrónico] / |
| Statement of responsibility, etc. |
by Douglas S. Bridges, Luminiţa Simona Vîţă. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
New York, NY : |
| Name of producer, publisher, distributor, manufacturer |
Springer New York, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2006. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XVI, 213 p. |
| Other physical details |
online resource. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
recurso en línea |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Universitext |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
to Constructive Mathematics -- Techniques of Elementary Analysis -- The ?-Technique -- Finite-Dimensional and Hilbert Spaces -- Linearity and Convexity -- Operators and Locatedness. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This text provides a rigorous, wide-ranging introduction to modern constructive analysis for anyone with a strong mathematical background who is interested in the challenge of developing mathematics algorithmically. The authors begin by outlining the history of constructive mathematics, and the logic and set theory that are used throughout the book. They then present a new construction of the real numbers, followed by the fundamentals of the constructive theory of metric and normed spaces; the lambda-technique (a special method that enables one to prove many results that appear, at first sight, to be nonconstructive); finite- dimensional and Hilbert spaces; and convexity, separation, and Hahn-Banach theorems. The book ends with a long chapter in which the work of the preceding ones is applied to operator theory and other aspects of functional analysis. Many results and proofs, especially in the later chapters, are of relatively recent origin. The intended readership includes advanced undergraduates, postgraduates, and professional researchers in mathematics and theoretical computer science. With this book, the authors hope to spread the message that doing mathematics constructively is interesting and challenging, and produces new, deep computational information. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
MATHEMATICS. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
GLOBAL ANALYSIS (MATHEMATICS). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
FUNCTIONAL ANALYSIS. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
OPERATOR THEORY. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
LOGIC, SYMBOLIC AND MATHEMATICAL. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
MATHEMATICS. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
MATHEMATICAL LOGIC AND FOUNDATIONS. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
ANALYSIS. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
REAL FUNCTIONS. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
FUNCTIONAL ANALYSIS. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
OPERATOR THEORY. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Vîţă, Luminiţa Simona. |
| Relator term |
author. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9780387336466 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Universitext |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://dx.doi.org/10.1007/978-0-387-38147-3">http://dx.doi.org/10.1007/978-0-387-38147-3</a> |
| Public note |
Ver el texto completo en las instalaciones del CICY |
| 912 ## - |
|---|
| -- |
ZDB-2-SMA |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Dewey Decimal Classification |
| Koha item type |
Libros electrónicos |
