Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
af Andrzej Indrzejczak
Bog, Hardback, Engelsk, 2020
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO489,95 kr.39,95 kr.UkendtKøb for 489,95 kr.Køb
- Bogreolen602,95 kr.0,00 kr.4-7 hverdageKøb for 602,95 kr.Køb
- Tales603,95 kr.34,95 kr.4-7 hverdageKøb for 603,95 kr.Køb
- Pling BØGER603,95 kr.34,95 kr.4-7 hverdageKøb for 603,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingHardback
- ISBN9783030571443
- Udgivet17/12/2020
- Udgivet afSpringer Nature Switzerland AG
- Længde345 sider
- ForfatterAndrzej Indrzejczak
- GenreBusiness og læring, Videnskab