Due to new demands for transparency and assurance of data quality, erih plus is currently revising all journals according to erih plus criteria. The journal “disputatio” has been approved in erih plus according to the criteria. The erih plus listing of the journal is available at https://Dbh.nsd.uib.No/publiseringskanaler/erihplus/periodical/info?Id=439938 [Book Review]

Disputatio (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Computer supported mathematics with Ωmega.Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2006 - Journal of Applied Logic 4 (4):533-559.
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic.Alexander Steen & Christoph Benzmüller - 2016 - Logic and Logical Philosophy 25 (4):535-554.
Combined reasoning by automated cooperation.Christoph Benzmüller, Volker Sorge, Mateja Jamnik & Manfred Kerber - 2008 - Journal of Applied Logic 6 (3):318-342.
Editorial: Towards Computer Aided Mathematics.Christoph Benzmüller - 2006 - Journal of Applied Logic 4 (4):359-365.
Lista ERIH–czasopisma po pierwszej aktualizacji w 2011 roku.Zakwalifikowanie Zakwalifikowanie - unknown - Acta Comeniana 18:0231 - 5955.
Higher-order semantics and extensionality.Christoph Benzmüller, Chad E. Brown & Michael Kohlhase - 2004 - Journal of Symbolic Logic 69 (4):1027-1088.
Automatic Learning of Proof Methods in Proof Planning.Mateja Jamnik, Manfred Kerber, Martin Pollet & Christoph Benzmüller - 2003 - Logic Journal of the IGPL 11 (6):647-673.
Scientometric Approach to Evaluation of Scientific Work in Philosophy.Maja Jokic - 2006 - Prolegomena 5 (1):99-110.
A minimal pair joining to a plus cupping Turing degree.Dengfeng Li & Angsheng Li - 2003 - Mathematical Logic Quarterly 49 (6):553-566.
Atheism... Plus What?Richard Carrier - 2013 - Essays in the Philosophy of Humanism 21 (1):105-113.

Analytics

Added to PP
2015-10-07

Downloads
7 (#1,403,235)

6 months
7 (#592,867)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references