Concepts of Proof in Mathematics, Philosophy, and Computer ScienceDieter Probst, Peter SchusterInnbundetEngelskDel av serien Ontos Mathematical LogicLegg i handlekurvNettlager
Logic Without BordersAndres Villaveces, Roman Kossak og 2 andreInnbundetEngelskDel av serien Ontos Mathematical LogicLegg i handlekurvNettlager
Logic, Computation, HierarchiesDieter Spreen, Vasco Brattka og 1 annenInnbundetEngelskDel av serien Ontos Mathematical LogicLegg i handlekurvNettlager
Logic, Construction, ComputationHannes Diener, Ulrich Berger og 2 andreInnbundetEngelskDel av serien Ontos Mathematical LogicLegg i handlekurvNettlager
Church's Thesis After 70 YearsAdam Olszewski, Robert Janusz og 1 annenInnbundetEngelskDel av serien Ontos Mathematical LogicLegg i handlekurvNettlager
Ways of Proof TheoryRalf SchindlerInnbundetEngelskDel av serien Ontos Mathematical LogicLegg i handlekurvNettlager