Formal Proofs in Elementary Set Theory: Rules of Logic for Formal Proofs in Zermelo Set Theory - SpringerBriefs in Applied Sciences and Technology - Krishna Suryanarayan - Libros - Springer Nature Switzerland AG - 9783032222381 - 29 de junio de 2026
En caso de que portada y título no coincidan, el título será el correcto

Krishna Suryanarayan
Formal Proofs in Elementary Set Theory: Rules of Logic for Formal Proofs in Zermelo Set Theory - SpringerBriefs in Applied Sciences and Technology

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Krishna Suryanarayan

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

The book gives a summary of the rules of logic required to write formal proofs. The book gives formal proofs for theorems in elementary set theory based on Zermelo axioms. The book helps the reader to write formal proofs. The book serves as a reference for a course on formal proofs.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 29 de junio de 2026
ISBN13 9783032222381
Editores Springer Nature Switzerland AG
Páginas 134
Dimensiones 150 × 220 × 10 mm   ·   272 g   (Peso (estimado))

Más del mismo editor

Ver todo de Krishna Suryanarayan ( Ej. Paperback Book )