Imagen 1 de 1
Libro de bolsillo Proof Theory de K. Sch?tte (inglés)-
Estado:
3 disponibles
Envío:
Ubicado en: Fairfield, Ohio, Estados Unidos
Entrega:
Entrega prevista entre el mar. 2 jul. y el sáb. 13 jul. a 43230
Devoluciones:
30 días para devoluciones. El comprador paga el envío de la devolución. Ver detalles- Más información sobre devoluciones
Pagos:
Compra con confianza
Información del vendedor
- 98,3% de votos positivos
Registrado como vendedor profesional
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:364685247805
Última actualización el 19 may 2024 06:34:04 H.EspVer todas las actualizacionesVer todas las actualizaciones
Características del artículo
- Estado
- ISBN-13
- 9783642664755
- Book Title
- Proof Theory
- ISBN
- 9783642664755
- Subject Area
- Mathematics
- Publication Name
- Proof Theory
- Item Length
- 9.6 in
- Publisher
- Springer Berlin / Heidelberg
- Subject
- General, Logic
- Publication Year
- 2011
- Series
- Grundlehren Der Mathematischen Wissenschaften Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Height
- 0.3 in
- Item Width
- 6.7 in
- Item Weight
- 19.6 Oz
- Number of Pages
- Xii, 302 Pages
Acerca de este producto
Product Information
This book was originally intended to be the second edition of the book "Beweis theorie" (Grundlehren der mathematischen Wissenschaften, Band 103, Springer 1960), but in fact has been completely rewritten. As well as classical predicate logic we also treat intuitionistic predicate logic. The sentential calculus properties of classical formal and semiformal systems are treated using positive and negative parts of formulas as in the book "Beweistheorie". In a similar way we use right and left parts of formulas for intuitionistic predicate logic. We introduce the theory of functionals of finite types in order to present the Gi:idel interpretation of pure number theory. Instead of ramified type theory, type-free logic and the associated formalization of parts of analysis which we treated in the book "Beweistheorie", we have developed simple classical type theory and predicative analysis in a systematic way. Finally we have given consistency proofs for systems of lI~-analysis following the work of G. Takeuti. In order to do this we have introduced a constni'ctive system of notation for ordinals which goes far beyond the notation system in "Beweistheorie".
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
364266475x
ISBN-13
9783642664755
eBay Product ID (ePID)
10038587615
Product Key Features
Publication Name
Proof Theory
Format
Trade Paperback
Language
English
Subject
General, Logic
Publication Year
2011
Series
Grundlehren Der Mathematischen Wissenschaften Ser.
Type
Textbook
Subject Area
Mathematics
Number of Pages
Xii, 302 Pages
Dimensions
Item Length
9.6 in
Item Height
0.3 in
Item Width
6.7 in
Item Weight
19.6 Oz
Additional Product Features
Series Volume Number
225
Number of Volumes
1 Vol.
Lc Classification Number
Qa1-939
Copyright Date
1977
Target Audience
Scholarly & Professional
Dewey Decimal
511/.3
Illustrated
Yes
Descripción del artículo del vendedor
Información de vendedor profesional
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Certifico que todas mis actividades de venta cumplirán todas las leyes y reglamentos de la UE.
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:364685247805
Última actualización el 19 may 2024 06:34:04 H.EspVer todas las actualizacionesVer todas las actualizaciones
Envío y manipulación
Ubicación del artículo:
Fairfield, Ohio, Estados Unidos
Realiza envíos a:
Afganistán, Albania, Alemania, Andorra, Angola, Anguila, Antigua y Barbuda, Antillas Neerlandesas, Arabia Saudí, Argelia, Argentina, Armenia, Aruba, Australia, Austria, Azerbaiyán, Bahamas, Bahréin, Bangladés, Belice, Benín, Bermudas, Bolivia, Bosnia-Herzegovina, Botsuana, Brasil, Brunéi, Bulgaria, Burkina Faso, Burundi, Bután, Bélgica, Cabo Verde, Camboya, Camerún, Canadá, Chad, Chile, China, Chipre, Colombia, Comoras, Corea del Sur, Costa Rica, Costa de Marfil, Dinamarca, Dominica, Ecuador, Egipto, El Salvador, Emiratos Árabes Unidos, Eritrea, Eslovaquia, Eslovenia, España, Estonia, Etiopía, Fiji, Filipinas, Finlandia, Francia, Gabón, Gambia, Georgia, Ghana, Gibraltar, Granada, Grecia, Groenlandia, Guatemala, Guernsey, Guinea, Guinea Ecuatorial, Guinea-Bisáu, Guyana, Haití, Honduras, Hong Kong, Hungría, India, Indonesia, Iraq, Irlanda, Islandia, Islas Caimán, Islas Cook, Islas Malvinas, Islas Salomón, Islas Turcas y Caicos, Islas Vírgenes Británicas, Israel, Italia, Jamaica, Japón, Jersey, Jordania, Kazajistán, Kenia, Kirguistán, Kiribati, Kuwait, Laos, Lesoto, Letonia, Liberia, Liechtenstein, Lituania, Luxemburgo, Líbano, Macao, Macedonia, Madagascar, Malasia, Malaui, Maldivas, Malta, Malí, Marruecos, Mauricio, Mauritania, Mayotte, Moldavia, Mongolia, Montenegro, Montserrat, Mozambique, México, Mónaco, Namibia, Nauru, Nepal, Nicaragua, Nigeria, Niue, Noruega, Nueva Zelanda, Níger, Omán, Pakistán, Paraguay, Países Bajos, Perú, Polonia, Portugal, Qatar, Reino Unido, República Centroafricana, República Checa, República Democrática del Congo, República Dominicana, República de Croacia, República del Congo, Ruanda, Rumanía, San Cristóbal y Nieves, San Marino, San Pedro y Miquelón, San Vicente y las Granadinas, Santa Elena, Santa Lucía, Senegal, Serbia, Seychelles, Sierra Leona, Singapur, Somalia, Sri Lanka, Suazilandia, Sudáfrica, Suecia, Suiza, Surinam, Svalbard y Jan Mayen, Sáhara Occidental, Tailandia, Taiwán, Tanzania, Tayikistán, Todo el mundo, Togo, Tonga, Trinidad y Tobago, Turkmenistán, Turquía, Tuvalu, Túnez, Uganda, Uruguay, Uzbekistán, Vanuatu, Vaticano, Vietnam, Wallis y Futuna, Yemen, Yibuti, Zambia, Zimbabue
Excluye:
APO/FPO, Alaska/Hawái, Barbados, Bielorrusia, Federación Rusa, Guadalupe, Guayana Francesa, Libia, Martinica, Nueva Caledonia, Panamá, Papúa Nueva Guinea, Polinesia Francesa, Protectorados de EE. UU., Reunión, Samoa, Ucrania, Venezuela
Envío y manipulación | Cada artículo adicional | A | Servicio | Entrega*Consulta las notas de entrega |
---|---|---|---|---|
Envío gratis | Gratis | Estados Unidos | Economy Shipping | Entrega prevista entre el mar. 2 jul. y el sáb. 13 jul. a 43230 |
Tiempo de manipulación |
---|
Normalmente, se enviará en un plazo de 10 días laborables desde que se haga efectivo el pago. |
Impuestos |
---|
Puede que se apliquen impuestos durante el pago y envío. Más informaciónMás información sobre el pago de impuestos en las compras de eBay. |
Impuesto de ventas del artículo 364685247805
Impuesto de ventas del artículo 364685247805
El vendedor carga un impuesto de ventas por los artículos enviados a los siguientes estados:
Estado o provincia | Porcentaje de impuesto de ventas |
---|
Política de devoluciones
Cuando recibas el artículo, ponte en contacto con el vendedor en un plazo de | Forma del reembolso | Gastos de envío de la devolución |
---|---|---|
30 días | Reembolso del dinero | El comprador paga el envío de la devolución |
Pulsa aquíaquí para obtener más información sobre devoluciones. En las transacciones que cumplan los requisitos necesarios, estarás cubierto por la Garantía al cliente de eBay si recibiste un artículo que es distinto de la descripción que aparece en el anuncio.
El comprador es responsable de los gastos de envío de la devolución.
Detalles de la política de devoluciones |
---|
Se aceptan devoluciones |
Detalles de pago
Formas de pago
Nota: como resultado de la valoración de riesgo del comprador, es posible que algunas formas de pago no estén disponibles en el proceso de Pago y envío.
Categorías populares de esta tienda
Registrado como vendedor profesional
Votos de vendedor (1.025.025)
w***_ (30)- Votos emitidos por el comprador.
Mes pasado
Compra verificada
This was the best book delivery I’ve ever received because the special packaging was so carefully done that the book arrived in pristine condition. This was a book from a series I collect because of their minimalist covers, thus any marks or scratches from packaging and shipping is always a risk. So I was pleasantly surprised to have such a good experience. I would definitely buy again from this highly conscientious seller!
_***2 (102)- Votos emitidos por el comprador.
Mes pasado
Compra verificada
exactly as advertised
d***d (1823)- Votos emitidos por el comprador.
Mes pasado
Compra verificada
A+ great seller fast shipping thank you