An elementary system as and its semi-completeness and decidability

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):305-320 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19920380128

Other Versions

original Jun, Qin (1992) "An elementary system as and its semi‐completeness and decidability". Mathematical Logic Quarterly 38(1):305-320

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

External links

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

An elementary system as and its semi‐completeness and decidability.Qin Jun - 1992 - Mathematical Logic Quarterly 38 (1):305-320.
Decidability with Respect to Härtig Quantifier and Rescher Quantifier.Martin Weese - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (36):569-576.
Monadic Elementary Formal Systems.Raymond M. Smullyan - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (6):81-83.

Analytics

Added to PP
2016-02-04

Downloads
64 (#348,963)

6 months
1 (#1,580,527)

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