P.R. Halmos. Naive Set Theory. Springer Verlag, 1974. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Set Theory for Verification: II - Induction and Recursion - Paulson (2000) (Correct)
Set Theory as a Computational Logic: - From Foundations To (Correct)
On a Formal Semantics of Tabular Expressions - Janicki, Khedri (1997) (8 citations) (Correct)
Tabular Expressions and Their Relational Semantics - Janicki (Correct)
On a Formal Semantics of Tabular Expressions - Janicki (1997) (8 citations) (Correct)
HOL-OCL: Experiences, Consequences and Design Choices - Brucker, Wolff (2002) (Correct)
Adding a Total Order to ACL2 - Manolios, Kaufmann (2002) (2 citations) (Correct)
A Categorical Primer - Hillman (2001) (1 citation) (Correct)
Recursive Data Types in Typed Set Theory - Arthan (1997) (Correct)
Ordinal Arithmetic: A Case Study for Rippling in a Higher.. - Dennis, Smaill (Correct)
Recursive Definitions in Z - Arthan (1998) (5 citations) (Correct)
On the Expressive Power of the Relational Algebra with.. - Ng, Levene, Fenner (2000) (2 citations) (Correct)
Generating Referring Expressions: Beyond the Incremental Algorithm - van Deemter (2000) (Correct)
Should Your Specification Language Be Typed? - Lamport, Paulson (1999) (1 citation) (Correct)
Fuzzy Lattice Neurocomputing (FLN) Models - Kaburlasos, Petridis (2000) (5 citations) (Correct)
Modeling Temporal Primitives: Back to Basics - Iqbal Goralwalla Yuri (1997) (3 citations) (Correct)
The Statistics of Dynamic Networks - Clegg (2004) (Correct)
Recursive Definitions in Z - Arthan (1998) (5 citations) (Correct)
Ordinal Arithmetic: A Case Study for Rippling in a Higher.. - Smaill, Dennis (2001) (Correct)
Certifying Compositional Model Checking Algorithms in ACL2 - Ray, Matthews, Tuttle (2003) (Correct)
Active Libraries and Universal Languages - Veldhuizen (2004) (1 citation) (Correct)
Classes with Easily Learnable Subclasses - Jain, Menzel, Stephan (2003) (Correct)
Software---Practice And Experience, Vol. 24(4), 405--420.. - Description Of Essential (Correct)
The relative consistency of the axiom of choice - mechanized.. - Paulson (2002) (2 citations) (Correct)
Naïve Type Theory - Constable (2002) Self-citation (Halmos) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC