Formal Proofs in Elementary Set Theory: Rules of Logic for Formal Proofs in Zermelo Set Theory - SpringerBriefs in Applied Sciences and Technology - Krishna Suryanarayan - Grāmatas - Springer Nature Switzerland AG - 9783032222381 - 2026. gada 3. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 9. - 19. okt.
Saņemiet paziņojumus par jauniem Krishna Suryanarayan izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2026. gada 3. augusts
ISBN13 9783032222381
Izdevēji Springer Nature Switzerland AG
Lapas 134
Izmēri 150 × 220 × 10 mm   ·   230 g
Valoda Vācu  

Vairāk no tā paša izdevēja