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 - 9783030571474 - 2021. gada 18. 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
€ 52,49

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

Paredzamā piegāde . gada 19. - 27. nov.
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, 1 Illustrations, color; 14 Illustrations, black and white; XVI, 345 p. 15 illus., 1 illus

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2021. gada 18. decembris
ISBN13 9783030571474
Izdevēji Springer Nature Switzerland AG
Lapas 345
Izmēri 150 × 220 × 10 mm   ·   508 g
Valoda Vācu  

Vairāk no Andrzej Indrzejczak

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