Reihe Applied Logic SeriesWalter Carnielli ×Bücher × 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 €
