Existence of Classes and Value Specification of Variables

Journal of Symbolic Logic 16 (2):144-145 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266705

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,963

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

Existence of classes and value specification of variables.Hao Wang - 1950 - Journal of Symbolic Logic 15 (2):103-112.
Review: Hao Wang, Existence of Classes and Value Specification of Variables. [REVIEW]G. D. W. Berry - 1951 - Journal of Symbolic Logic 16 (2):144-145.
Congruence classes with logic variables.J. Hurd - 2001 - Logic Journal of the IGPL 9 (1):53-69.
Tarski and Proper Classes.Philip Hugly & Charles Sayward - 1980 - Analysis 40 (4):6-11.
Existence of hidden variables having only upper probabilities.Patrick Suppes & Mario Zanotti - 1991 - Foundations of Physics 21 (12):1479-1499.
Some local models for correlation experiments.Arthur Fine - 1982 - Synthese 50 (2):279 - 294.
Some classes containing a fork algebra equivalent variety involving projections.J. Durán - 1998 - Logic Journal of the IGPL 6 (2):203-226.
A Calculus Of Higher-order Parameterization For Algebraic Specifications.Maria Cengarle & Martin Wirsing - 1995 - Logic Journal of the IGPL 3 (4):615-641.
Demand System Specification and Estimation.Robert A. Pollak & Terence J. Wales - 1992 - Oxford University Press USA.
Papers in Progress.Michael Glanzberg - unknown
The specification of “specification”.Derek Partridge & Antony Galton - 1995 - Minds and Machines 5 (2):243-255.
Specification.Raymond Turner - 2011 - Minds and Machines 21 (2):135-152.
Mathematical Objects arising from Equivalence Relations and their Implementation in Quine's NF.Thomas Forster - 2016 - Philosophia Mathematica 24 (1):nku005.
About Testing and Specification . . . and about First Order Logic.Jan van Eijck - unknown
Mathematical Objects arising from Equivalence Relations and their Implementation in Quine's NF.Thomas Forster - 2016 - Philosophia Mathematica 24 (1):50-59.

Analytics

Added to PP
2017-02-21

Downloads
7 (#1,388,145)

6 months
1 (#1,472,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references