Reihe Applied Logic SeriesBücher × The Death of ArgumentFallacies in Agent Based ReasoningJ.H. WoodsSpringer NetherlandHardcover2004160,49 € Automated Model Building Ricardo CaferraSpringer NetherlandHardcover2004160,49 € Inference on the Low LevelAn Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of CognitionHannes LeitgebSpringer NetherlandHardcover2004160,49 € A Modern Perspective on Type TheoryFrom its Origins until TodayF.D. KamareddineSpringer NetherlandHardcover2004192,59 € Thirty Five Years of Automating Mathematics Springer NetherlandHardcover2003106,99 € Logical and Computational Aspects of Model-Based Reasoning Springer NetherlandHardcover2002106,99 € Logical and Computational Aspects of Model-Based Reasoning Springer NetherlandSoftcover2002106,99 € An Introduction to Mathematical Logic and Type TheoryTo Truth Through ProofPeter B. AndrewsSpringer NetherlandHardcover2002139,09 € The Semantics and Proof Theory of the Logic of Bunched Implications David J. PymSpringer NetherlandHardcover2002160,49 € Foundations of Bayesianism Springer NetherlandHardcover2001160,49 €74 Treffer 1 2 3 4 5 6 7 8
