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 del vendedor
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: WeBuyBooks, Rossendale, LANCS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Nº de ref. del artículo: rev8839766602
Comprar usado
EUR 36,44
Envío por EUR 10,33
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 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 57,47
Envío por EUR 7,61
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: 5 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: 1ed
Impresión bajo demandaLibrería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service. Nº de ref. del artículo: POD-27092
Comprar nuevo
EUR 68,24
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de 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 53,12
Envío por EUR 18,14
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 59,36
Envío por EUR 14,64
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 73,51
Envío por EUR 3,51
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 67,97
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,95
Envío por EUR 21,25
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