Extensionality - PDFSEARCH.IO - Document Search Engine

Extensionality
Results: 16

#	Item
11	THE ITERATIVE CONCEPTION OF SET Add to Reading List Source URL: www.pgrim.org Language: English - Date: 2009-09-06 21:19:38 Computability theory Complexity classes Urelements Z notation S Naive set theory Constructible universe Arithmetical hierarchy Axiom of extensionality Mathematical logic Mathematics Set theory
12	Philosophy of the Social Sciences http://pos.sagepub.com/ Book Review: Extensionalism: The Revolution in Logic Michèle Friend Add to Reading List Source URL: www.nimrodbaram.com Language: English - Date: 2013-03-04 03:28:38 Logical consequence Philosophy of language Semantics Intensional logic George Boole Modal logic Mathematical logic Extensionality Mereology Logic Philosophical logic Non-classical logic
13	Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory Frank Pfenning∗ Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-04-10 23:35:37 Deduction Set theory Logic in computer science Symbol Entailment Extensionality Function Interpretation Natural deduction Logic Mathematical logic Mathematics
14	Vocabulaire technique et analytique de l’épistémologie Paris, Presses Universitaires de France coll. Premier Cycle, 1999, 872 p. Add to Reading List Source URL: www.er.uqam.ca Language: French - Date: 2011-01-11 05:26:07 Ceteris paribus Axiom schema of specification Pierre Duhem Classical definition of probability Fallacy Axiom of choice Axiom of regularity Axiom of infinity Axiom of extensionality Mathematical logic Set theory Axioms of set theory
15	PDF Document Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2013-08-19 13:10:06 Data types Procedural programming languages Continuations Subroutines Control flow Extensionality Call-with-current-continuation Function C Software engineering Computer programming Computing
16	PDF Document Add to Reading List Source URL: userpages.uni-koblenz.de Language: English - Date: 2012-06-12 10:47:45 Philosophy of language Ontology Semantics Knowledge representation Extensionality Applied ontology Concept Extensional context Mereology Logic Mathematical logic Science