Decidability of First-Order Logic Exemplified. Part I

Ruch Filozoficzny 65 (3) (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

reprint Lampert, Timm (2008) "Decidability of First-Order Logic Exemplified. Part II". Ruch Filozoficzny 65(4):

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,462

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

Decidability of First-order Logic.Timm Lampert - 2007 - Ruch Filozoficzny 4 (4).
A New Proof of Decidability of First-Order Functional Calculus.Leon Gumański - 2008 - Ruch Filozoficzny 65 (3).
Explaining formulae of first order logic.Timm Lampert - 2006 - Ruch Filozoficzny 3 (3).
Non-effective Quantifier Elimination.Mihai Prunescu - 2001 - Mathematical Logic Quarterly 47 (4):557-562.
Gerd Grasshoff / Timm Lampert, Ludwig Wittgensteins Logisch-Philosophische Abhandlung. Entste-hungsgeschichte und Herausgabe der Typoskripte und Korrekturexemplare. [REVIEW]M. Iven - 2005 - Philosophisches Jahrbuch 112 (2):458.
Intuitionism in Contemporary Polish Ethics. Part I. From Modernism to the Lviv-Warsaw School.Ryszard Wiśniewski - 2020 - Ruch Filozoficzny 75 (4):137.
Słówko o filozofii narodowej polskiej „Ruch Filozoficzny\" 1911 (I) 1, ss. 1-3.Henryk Struve - 2011 - Ruch Filozoficzny 68 (4).

Analytics

Added to PP
2013-05-27

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Timm Lampert
Humboldt-University, Berlin

Citations of this work

Philosophy of Science in Germany, 1992–2012: Survey-Based Overview and Quantitative Analysis.Matthias Unterhuber, Alexander Gebharter & Gerhard Schurz - 2014 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 45 (1):71-160.

Add more citations

References found in this work

No references found.

Add more references