Axiom of reducibility - PDFSEARCH.IO - Document Search Engine

Axiom of reducibility
Results: 8

#	Item
1	EUJAP  VOL. 3  No. 2  2007 Original scientific paper UDk: 165 Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:20 Mathematical logic Functions and mappings Propositional calculus Philosophical logic Philosophy of language Logicism Axiom of reducibility Type theory Principia Mathematica Logic Mathematics Philosophy
2	EUJAP  VOL. 3  No. 2  2007 Original scientific paper UDk: 165 Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:20 Mathematical logic Functions and mappings Propositional calculus Philosophical logic Philosophy of language Logicism Axiom of reducibility Type theory Principia Mathematica Logic Mathematics Philosophy
3	Amending Frege’s Grundgesetze der Arithmetik [draft] To the memory of Nhˆe[removed]) Add to Reading List Source URL: www.ciul.ul.pt Language: English - Date: 2002-10-10 10:09:04 Philosophy of mathematics Type theory Axiom of reducibility Bertrand Russell Computability theory Logicism Gottlob Frege Principia Mathematica Function Mathematics Mathematical logic Logic
4	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:40:33 Propositional calculus Mathematical logic Philosophical logic Boolean algebra Classical logic Principia Mathematica Axiom of reducibility Function Contradiction Logic Mathematics Philosophy
5	PDF Document Add to Reading List Source URL: publish.uwo.ca Language: English - Date: 2012-09-05 10:26:01 Mathematical logic Bertrand Russell Functions and mappings Type theory Axiom of reducibility Principia Mathematica Function Propositional function Impredicativity Mathematics Logic Philosophy
6	PDF Document Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2009-11-02 01:22:47 Model theory Philosophy of mathematics Set theory Analytic philosophers Logicism Axiom of reducibility Principia Mathematica Gottlob Frege Axiom Logic Mathematics Mathematical logic
7	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-11-18 18:29:08 Functions and mappings Type theory Impredicativity Philosophy of mathematics Axiom of reducibility Logicism Function Principia Mathematica Axiom of choice Mathematics Logic Mathematical logic
8	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-06-21 21:36:56 Number theorists Bertrand Russell Epistemology Impredicativity Hermann Weyl Axiom of reducibility Logicism Type theory Intuitionism Mathematics Philosophy of mathematics Mathematical logic