1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Mængdelære
  6. Kunstig intelligens
  7. Formal Proofs in Elementary Set Theory: Rules of Logic for...

Formal Proofs in Elementary Set Theory: Rules of Logic for Formal Proofs in Zermelo Set Theory

(Bog, Paperback / softback, Engelsk)
Forfatter: Krishna Suryanarayan
Forlag: Springer Nature Switzerland AG
Levering: Ikke udkommet. Kan ikke forudbestilles. (Forventes d. 29-06-2026)
Bemærk: Dette produkt kan pt. ikke købes, men du kan få automatisk besked når/hvis dette produkt er tilgængeligt igen. Alt vi skal bruge er din e-mailadresse.

Produktet kan ikke bestilles.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Kunstig intelligens Matematisk logik Mængdelære
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Forfatter Krishna Suryanarayan
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 29-06-2026
Første udgivelsesår 2026
Serie SpringerBriefs in Applied Sciences and Technology
Illustrationer VII, 134 p.
Originalsprog Switzerland
Sideantal 134
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 134 pages, VII, 134 p.
Mål 235 x 155
ISBN-13 / EAN-13 9783032222381