Reihe Applied Logic SeriesWalter Carnielli × Analysis and Synthesis of LogicsHow to Cut and Paste Reasoning SystemsWalter CarnielliSpringer NetherlandSoftcover2010160,49 € Analysis and Synthesis of LogicsHow to Cut and Paste Reasoning SystemsWalter CarnielliSpringer NetherlandHardcover2008160,49 € Analysis and Synthesis of LogicsHow to Cut and Paste Reasoning SystemsWalter CarnielliSpringer NetherlandeBook2008149,79 €
