Inicio Constructivism in Mathematics, Vol 1: Volume 121 de A. S. Troelstra; D. Van Dalen (ISBN: 9780444702661)

Foto de archivo: la portada puede ser diferente

Constructivism in Mathematics, Vol 1: Volume 121 Tapa dura - 1988 - 1st Edición

Name: Constructivism in Mathematics: An Introduction: Vol 001
Price: 49.22 GBP
Availability: InStock
Author: Troelstra, A. S./ Van Dalen, D.
ISBN: 9780444702661

de A. S. Troelstra; D. Van Dalen

Ver más ejemplares ↓

Primera línea

1.1. Time and again, over the last hundred years certain mathematicians have defended an approach to mathematics which might be called "constructive" in the broad sense used in this book, in more or less explicit opposition to certain forms of mathematical reasoning used by the majority of their colleagues.

Detalles

Título Constructivism in Mathematics, Vol 1: Volume 121
Autor A. S. Troelstra; D. Van Dalen
Encuadernación Tapa dura
Número de edición 1st
Edición 1
Páginas 355
Volúmenes 1
Idioma ENG
Editorial Elsevier Science
Fecha de publicación 1988-07-01
ISBN 9780444702661 / 0444702660
Peso 1.56 libras (0.71 kg)
Dimensiones 9.21 x 6.14 x 0.88 pulgadas (23.39 x 15.60 x 2.24 cm)
Library of Congress subjects Constructive mathematics
Número de catálogo de la Librería del Congreso de EEUU 88005240
Dewey Decimal Code 511.3

Ir arriba↑

Más ejemplares

Foto de archivo: la portada puede ser diferente

Constructivism in Mathematics: An Introduction: Vol 001

de Troelstra, A. S./ Van Dalen, D.

Nuevo
Tapa dura

Estado

Nuevo

Encuadernación

Hardcover

ISBN 10 / ISBN 13

9780444702661 / 0444702660

Cantidad disponible

Librería

Revaluation Books

Exeter, Devon, United Kingdom

Puntuación del vendedor:

Este vendedor ha conseguido 4 de las cinco estrellas otorgadas por los compradores de Biblio.

Precio

EUR 58.57

EUR 11.90 enviando a USA

Mostrar detalles

Descripción:

North-Holland, 1988. Hardcover. New. 358 pages. 9.25x6.25x1.00 inches.

Precio

EUR 58.57

EUR 11.90 enviando a USA

Constructivism in Mathematics, Vol 1: Volume 121

de A. S. Troelstra

Nuevo
Tapa dura

Estado

Nuevo

Encuadernación

Hardcover

ISBN 10 / ISBN 13

9780444702661 / 0444702660

Cantidad disponible

Librería

The Saint Bookstore

Southport, Merseyside, United Kingdom

Puntuación del vendedor:

Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.

Precio

EUR 66.21

EUR 11.84 enviando a USA

Mostrar detalles

Descripción:

Hardback. New. These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.