Results for 'Wilfried Schaedel'

402 found
Order:
  1. Transzendentalphilosophie Und Die Kultur der Gegenwart: Festschrift für Wilfried Lehrke.Wilfried Lehrke, Steffen Dietzsch & Udo Teitz (eds.) - 2012 - Leipziger Universitätsverlag.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  43
    Wilfried Buchholz. Notation Systems for Infinitary Derivations. Archive for Mathematical Logic, Vol. 30 No. 5–6 , Pp. 277–296. - Wilfried Buchholz. Explaining Gentzen's Consistency Proof Within Infinitary Proof Theory. Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25–29, 1997, Proceedings, Edited by Georg Gottlob, Alexander Leitsch, and Daniele Mundici, Lecture Notes in Computer Science, Vol. 1289, Springer, Berlin, Heidelberg, New York, Etc., 1997, Pp. 4–17. - Sergei Tupailo. Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals. Logic Colloquium '98, Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Prague, Czech Republic, August 9–15, 1998, Edited by Samuel R. Buss, Petr Háajek, and Pavel Pudlák, Lecture Notes in Logic, No. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., Etc., 2000, Pp. 465–499. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
  3.  25
    S. Feferman and W. Sieg Inductive Definitions and Subsystems of Analysis. Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture Notes in Mathematics, Vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, Pp. 16–77. - Solomon Feferman and Wilfried Sieg. Proof Theoretic Equivalences Between Classical and Constructive Theories for Analysis. Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture Notes in Mathematics, Vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, Pp. 78–142. - Solomon Feferman. Iterated Inductive Fixed-Point Theories: Application to Hancock's Conjecture. Patras Logic Symposion, Proceedings of the Logic Symposion Held at Patras, Greece, August 18–22, 1980, Edited by George Metakides, Studies in Logic. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
  4.  91
    Book Review: Review of De Waelhens, Alphonse, and Wilfried Ver Eecke, Phenomenology and Lacan on Schizophrenia, After the Decade of the Brain. Leuven, Belgium: Leuven University Press, 2001. 337 Pp. ISBN 90-5867-160-7. [REVIEW]Thomas Svolos - 2006 - Theoretical Medicine and Bioethics 27 (2):169-174.
  5.  22
    Wilfried Buchholz and Kurt Schütte. Proof Theory of Impredicative Subsystems of Analysis. Studies in Proof Theory. Bibliopolis, Naples1988, 122 Pp. [REVIEW]Gerhard Jäger - 1991 - Journal of Symbolic Logic 56 (1):332-333.
  6.  15
    Wilfried Kühn, Einführung in die Metaphysik: Platon und Aristoteles.Jana Schultz - 2018 - Bochumer Philosophisches Jahrbuch Fur Antike Und Mittelalter 21 (1):216-220.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  13
    Logic and Computation, Proceedings of a Workshop Held at Carnegie Mellon University, June 30–July 2, 1987, Edited by Wilfried Sieg, Contemporary Mathematics, Vol. 106, American Mathematical Society, Providence1990, Xiv + 297 Pp. - Douglas K. Brown. Notions of Closed Subsets of a Complete Separable Metric Space in Weak Subsystems of Second Order Arithmetic. Pp. 39–50. - Kostas Hatzikiriakou and Stephen G. Simpson. WKL0 and Orderings of Countable Abelian Groups. Pp. 177–180. - Jeffry L. Hirst. Marriage Theorems and Reverse Mathematics. Pp. 181–196. - Xiaokang Yu. Radon–Nikodym Theorem is Equivalent to Arithmetical Comprehension. Pp. 289–297. - Fernando Ferreira. Polynomial Time Computable Arithmetic. Pp. 137–156. - Wilfried Buchholz and Wilfried Sieg. A Note on Polynomial Time Computable Arithmetic. Pp. 51–55. - Samuel R. Buss. Axiomatizations and Conservation Results for Fragments of Bounded Arithmetic. Pp. 57–84. - Gaisi Takeuti. Sharply Bounded Arithmetic and the Function a – 1. Pp. 2. [REVIEW]Jörg Hudelmaier - 1996 - Journal of Symbolic Logic 61 (2):697-699.
  8.  12
    Wilfried Sieg. Fragments of Arithmetic. Annals of Pure and Applied Logic, Vol. 28 , Pp. 33–71.Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (4):1054-1055.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  10
    Wilfried Sieg. Reductions of Theories for Analysis. Foundations of Logic and Linguistics, Problems and Their Solutions, Edited by Georg Dorn and P. Weingartner, Plenum Press, New York and London1985, Pp. 199– 231. [REVIEW]Peter Clote - 1990 - Journal of Symbolic Logic 55 (1):354-354.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  10
    Wilfried Buchholz. An Intuitionistic Fixed Point Theory. Archive for Mathematical Logic, Vol. 37 No. 1 , Pp. 21–27.Erik Palmgren - 2001 - Bulletin of Symbolic Logic 7 (3):391-392.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  8
    Wilfried Sieg. Step by Recursive Step: Church's Analysis of Effective Calculability. The Bulletin of Symbolic Logic, Vol. 3 , Pp. 154–180. [REVIEW]Stewart Shapiro - 1999 - Journal of Symbolic Logic 64 (1):398-399.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  7
    Wilfried Gerressen: Tibulls Elegie 2, 5 und Vergils Aeneis. Pp. [viii] + 79. Privately printed, 1970. Paper.E. J. Kenney - 1972 - The Classical Review 22 (2):277-277.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  7
    Grigori Mints, Sergei Tupailo, and Wilfried Buchholz. Epsilon Substitution Method for Elementary Analysis. Archive for Mathematical Logic, Vol. 35 , Pp. 103–130. [REVIEW]Ulrich Kohlenbach - 2000 - Bulletin of Symbolic Logic 6 (3):356-357.
  14.  10
    Ralf von den Hoff – Wilfried Stroh – Martin Zimmermann , Divus Augustus. Der Erste Römische Kaiser Und Seine Welt. 2014. [REVIEW]Karl Galinsky - 2018 - Klio 100 (1):362-367.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  33
    Ethical Reflections on the Financial Crisis 2007 / 2008: Making Use of Smith, Musgrave, and Rajan. By Wilfried Ver Eecke. [REVIEW]Joseph W. Koterski - 2013 - International Philosophical Quarterly 53 (3):344-346.
  16.  5
    David Hilbert’s Lectures on the Foundations of Arithmetic and Logic 1917–1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, Xxv + 1062 Pp. [REVIEW]Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (3):363-365.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  25
    Wilfried Sieg. Hilbert's Programs and Beyond. Oxford: Oxford University Press, 2013. ISBN 978-0-19-537222-9 ; 978-0-19-970715-7 . Pp. Xii + 439†. [REVIEW]Oran Magal - 2014 - Philosophia Mathematica 22 (3):417-423.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18.  6
    The History of Courts and Procedure in Medieval Canon Law Edited by Wilfried Hartmann and Kenneth Pennington [History of Medieval Canon Law], Catholic University of America Press, Washington, D.C., 2016, Pp. XIV + 506, £79.50, Hbk. [REVIEW]G. R. Evans - 2018 - New Blackfriars 99 (1083):679-680.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  16
    The History of Medieval Canon Law in the Classical Period, 1140-1234: From Gratian to the Decretals of Pope Gregory IX. Wilfried Hartmann, Kenneth Pennington. [REVIEW]Bruce C. Brasington - 2009 - Speculum 84 (3):727-728.
  20.  12
    William Ewald and Wilfried Sieg , Michael Hallett , David Hilbert’s Lectures on the Foundations of Arithmetic and Logic 1917–1933. In Collaboration with Ulrich Majer and Dirk Schlimm , Springer-Verlag: Berlin and Heidelberg, 2013, Xxvi + 1062 Pp. ISBN 978-3-540-20578-4 $129.00, $86.37. [REVIEW]Volker Peckhaus - 2017 - Studia Logica 105 (3):669-671.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  31
    Comment on Wilfried Hinsch: Ideal Justice and Rational Dissent: A Critique of Amartya Sen's Idea of Justice.Mathias Thaler - 2011 - Analyse & Kritik 33 (2):387–393.
  22.  14
    Ludwig der Deutsche. Wilfried Hartmann Ludwig der Deutsche und die Reichskirche im Ostfränkischen Reich . Boris Bigott.Hans Hummer - 2005 - Speculum 80 (2):584-586.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  21
    Wilfried Rohrbach: Das Sprachdenken Eugen Rosenstock-Huessys. Historische Erörterung und systematische Explikation, Verlag W. Kohlhammer, Stuttgart- Berlin - Köln - Mainz 1973, 237 pp. [REVIEW]Gerhard Hennemann - 1974 - Zeitschrift für Religions- Und Geistesgeschichte 26 (1):90-92.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  18
    Eternal Rome Hinnerk Bruhns, Jean-Michel David , Wilfried Nippel (Edd.): Die Späte Römische Republik/la Fin de la République Romaine: Un Débat Franco-Allemand d'Histoire Et d'Historiographie . Rome: École Française de Rome, 1997. Isbn: 2-7283-0389-4. Issn: 0223-5099. [REVIEW]Kathryn Welch & Andrew Bonnel - 2000 - The Classical Review 50 (01):197-.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  13
    Codex Manesse: Die Grosse Heidelberger Liederhandschrift. Walter Koschorreck, Wilfried Werner.Ingeborg Glier - 1983 - Speculum 59 (1):169-172.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  18
    William Ewald and Wilfried Sieg, Eds, David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917–1933. Heidelberg: Springer, 2013. ISBN: 978-3-540-69444-1 ; 978-3-540-20578-4 . Pp. Xxv + 1062. [REVIEW]Paolo Mancosu - 2015 - Philosophia Mathematica 23 (1):126-135.
  27.  16
    Review: Wilfried Sieg, Step by Recursive Step: Church's Analysis of Effective Calculability. [REVIEW]Stewart Shapiro - 1999 - Journal of Symbolic Logic 64 (1):398-399.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  12
    Roger Herz‐Fischler. The Shape of the Great Pyramid. Xii + 293 Pp., Figs., Tables, Apps., Bibl., Index.Waterloo, Ontario: Wilfried Laurier University Press, 2000. $29.95. [REVIEW]Kate Spence - 2002 - Isis 93 (1):83-84.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  12
    Werner von Siemens: Erfinder und internationaler Unternehmer. Wilfried Feldenkirchen.Edmund N. Todd - 1994 - Isis 85 (4):714-715.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  11
    Kurt Gödel. Collected Works. Volume 4: Correspondence, A–G. Edited by, Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, and Wilfried Sieg. Xix + 662 Pp., Frontis., Illus., Bibl., Index. Oxford/New York: Oxford University Press, 2003. $110 .Kurt Gödel. Collected Works. Volume 5: Correspondence, H–Z. Edited by, Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, and Wilfried Sieg. Xxiii + 664 Pp., Frontis., Illus., Bibl., Index. Oxford/New York: Oxford University Press, 2003. $130. [REVIEW]Albert C. Lewis - 2004 - Isis 95 (1):162-163.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31. Wilfried Sieg.F. D. Portoraro - 1998 - Studia Logica 60:67-106.
     
    Export citation  
     
    Bookmark  
  32.  24
    Wilfried Uerschels: Der Dionysoshymnos des Ailios Aristeides. (Bonn Diss.) Pp. 122. Bonn: Privately Printed, 1964. Paper. [REVIEW]D. A. Russell - 1964 - The Classical Review 14 (02):215-.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  31
    Review of Wilfried Ver Eecke, Denial, Negation, and the Forces of the Negative: Freud, Hegel, Lacan, Spitz, and Sophocles[REVIEW]Reginald Lilly - 2006 - Notre Dame Philosophical Reviews 2006 (6).
  34.  2
    Wilfried Uerschels: Der Dionysoshymnos des Ailios Aristeides. Pp. 122. Bonn: Privately Printed, 1964. Paper.D. A. Russell - 1964 - The Classical Review 14 (2):215-215.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  10
    Wilfried Sieg. Hilbert's Programs and Beyond. Xii + 440 Pp., Illus., Bibl., Index. Oxford: Oxford University Press, 2013. $85 .William Ewald;, Wilfried Sieg ., Michael Hallett . David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917–1933. Xxv + 1,062 Pp., Tables, Bibl., Indexes. Berlin: Springer, 2013. $139. [REVIEW]Tom Archibald - 2015 - Isis 106 (2):481-483.
  36.  14
    Reviewed Work: David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917–1933 by William Ewald; Wilfried Sieg. [REVIEW]Review by: Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (3):363-365,.
  37.  29
    Book Review: Wilfried Kuhn: Ideengeschichte der Physik – Eine Analyse der Entwicklung der Physik Im Historischen Kontext. [REVIEW]Reiner Hedrich - 2003 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 34 (1):159-163.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  14
    Wilfried Sieg Normal Natural Deduction Proofs.John Byrnes - 1998 - Studia Logica 60 (1):67-106.
    Natural deduction calculi have not been used systematically as a basis for automated theorem proving in classical logic. To remove objective obstacles to their use we describe a method that allows to give semantic proofs of normal form theorems for nd-calculi and a framework that allows to search directly for normal nd-proofs. Thus, one can try to answer the question: How do we bridge the gap between claims and assumptions in heuristically motivated ways? This informal question motivates the formulation of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  13
    Wilfried Hartmann and Kenneth Pennington, Eds., The History of Byzantine and Eastern Canon Law to 1500. Washington, DC: Catholic University of America Press, 2012. Pp. Xviii, 356. $59.95. ISBN: 9780813216799. [REVIEW]Tia Kolbaba - 2013 - Speculum 88 (3):808-810.
  40.  23
    Wilfried Nippel: Griechen, Barbaren und 'Wilde': alte Geschichte und Sozialanthropologie. Pp. 218. Frankfurt am Main: Fischer Taschenbuch, 1990. Paper. [REVIEW]Edith Hall - 1992 - The Classical Review 42 (01):219-.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  20
    Wilfried Gerressen: Tibulls Elegie 2, 5 und Vergils Aeneis. (Cologne diss.) Pp. [viii] + 79. Privately printed, 1970. Paper. [REVIEW]E. J. Kenney - 1972 - The Classical Review 22 (02):277-.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  20
    Review: Wilfried Buchholz, Notation Systems for Infinitary Derivations ; Wilfried Buchholz, Explaining Gentzen's Consistency Proof Within Infinitary Proof Theory ; Sergei Tupailo, Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
  43.  13
    Review: Wilfried Sieg, Logic and Computation, Proceedings of a Workshop Held at Carnegie Mellon University, June 30-July 2, 1987. [REVIEW]Jorg Hudelmaier - 1996 - Journal of Symbolic Logic 61 (2):697-699.
  44.  2
    Kurt Gödel. Collected Works. Vol. IV, Correspondence A-G; V, Correspondence H-Z. Edited by Solomon Feferman, John W. Dawson Jr., Warren Goldgfarb, Charles Parsons, Wilfried Sieg. Oxford: Claredon Press, 2003. [REVIEW]Roberto Torretti - 2004 - Revista de filosofía (Chile) 60:169-172.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  12
    Review: Wilfried Buchholz, Wolfram Pohlers, Wilfried Sieg, Iterated Inductive Definitions and Subsystems of Analysis. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
  46.  11
    Rogerius Josephus Boscovich, De continuitatis lege/Über das Gesetz der Kontinuität, Lateinisch und deutsch, Übersetzt und herausgege-ben von Josip Talanga, Beiträge zur Slavischen Philologie, Herausge-geben von Wilfried Potthoff, Band 7, Universitätsverlag Carl Winter, Heidelberg 2002, 379 str., 26. sl. [REVIEW]Ivana Skuhala Karasman - 2003 - Prolegomena 2:1.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  7
    Wilfried Hartmann, Isolde Schröder, and Gerhard Schmitz, eds., Die Konzilien der karolingischen Teilreiche 875–911/Concilia aevi Karolini DCCCLXXV–DCCCCXI. Hannover: Hahnsche Buchhandlung, 2012. Pp. xxx, 736. €175. ISBN: 978-3-775-25356-7. [REVIEW]Eric Knibbs - 2015 - Speculum 90 (4):1118-1119.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  7
    Onderzoek naar het gebruik van de aangehaalde bronnen van romeins recht in de Lex Romana Burgundionum. Wilfried Roels.Floyd Seyward Lear - 1959 - Speculum 34 (4):673-674.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  10
    Review: Wilfried Buchholz, An Intuitionistic Fixed Point Theory. [REVIEW]Erik Palmgren - 2001 - Bulletin of Symbolic Logic 7 (3):391-392.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  13
    De Waelhens, Alphonse, and Wilfried Ver Eecke. Phenomenology and Lacan on Schizophrenia, After the Decade of the Brain.Marcella Tarozzi Goldsmith - 2003 - Review of Metaphysics 56 (3):643-644.
1 — 50 / 402