Constructivism in Mathematics Vol.1: Volume 121 (Studies in Logic and the Foundations of Mathematics, Volume 121) - Tapa dura
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Constructivism in Mathematics Vol.1: Volume 121 (Studies...
Imagen de archivo
Constructivism in Mathematics Vol.1
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 380 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Nº de ref. del artículo: 8357734
Comprar nuevo
EUR 56,30
Envío por EUR 7,51
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen de archivo
STUDY IN LOG & FOUND MATHE V1
Impresión bajo demandaLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 3 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: ef95d1ab7da1baae94ed26766d540e5b
Comprar nuevo
EUR 57,52
Envío por EUR 8,00
Se envía de Italia a Estados Unidos de America
Se envía de Italia a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Constructivism in Mathematics, Vol 1: An Introduction: Volume 121 (Studies in Logic and the Foundations of Mathematics)
Publicado por
Elsevier Science 1988-07-01, 1988
ISBN 10: 0444702660
ISBN 13: 9780444702661
Nuevo
Tapa dura
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: New. Nº de ref. del artículo: 6666-ELS-9780444702661
Comprar nuevo
EUR 52,44
Envío por EUR 17,90
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Constructivism in Mathematics: An Introduction: Vol 001
Impresión bajo demandaLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 358 pages. 9.25x6.25x1.00 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __0444702660
Comprar nuevo
EUR 58,60
Envío por EUR 14,45
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Constructivism in Mathematics Vol.1
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 380. Nº de ref. del artículo: 26538809
Comprar nuevo
EUR 71,04
Envío por EUR 3,44
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen de archivo
Constructivism in Mathematics Vol.1
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 380. Nº de ref. del artículo: 18538803
Comprar nuevo
EUR 66,47
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen del vendedor
Constructivism in Mathematics, Vol 1
Publicado por
Elsevier Science & Technology, Elsevier Science, 1988
ISBN 10: 0444702660
ISBN 13: 9780444702661
Nuevo
Buch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. Englisch. Nº de ref. del artículo: 9780444702661
Comprar nuevo
EUR 54,95
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Constructivism in Mathematics, Vol 1: Volume 121
Publicado por
Elsevier Science & Technology, 1988
ISBN 10: 0444702660
ISBN 13: 9780444702661
Nuevo
Tapa dura
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. New copy - Usually dispatched within 4 working days. Nº de ref. del artículo: B9780444702661
Comprar nuevo
EUR 71,03
Envío por EUR 20,98
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics (Volume 121))
Publicado por
Elsevier Science, 1988
ISBN 10: 0444702660
ISBN 13: 9780444702661
Antiguo o usado
Tapa dura
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Nº de ref. del artículo: ERICA75404447026605
Comprar usado
EUR 83,34
Envío por EUR 28,90
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Constructivism in Mathematics, Vol 1
Publicado por
Elsevier Science & Technology, Elsevier Science, 1988
ISBN 10: 0444702660
ISBN 13: 9780444702661
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9780444702661
Comprar nuevo
EUR 64,36
Envío por EUR 63,74
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles