A Decision Method for the Universal Theorems of Quine's New Foundations

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (13):181-187 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19820281303

Other Versions

original Krenovič, V. Ja; Oswald, Urs (1982) "A Decision Method for the Universal Theorems of Quine's New Foundations". Mathematical Logic Quarterly 28(13):181-187

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

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

A Decision Method for the Universal Theorems of Quine's New Foundations.V. Ja Krenovič & Urs Oswald - 1982 - Mathematical Logic Quarterly 28 (13):181-187.
A Note on the Definition of Identity in Quine's New Foundations.Nino B. Cocchiarella - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):195-197.
Formulae corresponding to universal decision elements.J. M. Pugmire & A. Rose - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (1-6):1-9.
The use of universal decision elements as flip-flops.Alan Rose - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (12-16):169-174.

Analytics

Added to PP
2015-12-02

Downloads
33 (#690,648)

6 months
5 (#1,059,814)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Term models for weak set theories with a universal set.T. E. Forster - 1987 - Journal of Symbolic Logic 52 (2):374-387.

Add more citations

References found in this work

No references found.

Add more references