Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic - Andrzej Indrzejczak - Grāmatas - Springer Nature Switzerland AG - 9783030571443 - 2020. gada 17. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic 2021 edition

Cena
€ 67,49

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

Paredzamā piegāde . gada 24. nov. - . gada 2. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Andrzej Indrzejczak izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.


345 pages, XVI, 345 p.

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2020. gada 17. decembris
ISBN13 9783030571443
Izdevēji Springer Nature Switzerland AG
Lapas 345
Izmēri 242 × 161 × 29 mm   ·   682 g
Valoda Vācu  

Vairāk no Andrzej Indrzejczak

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