HSS - PDFSEARCH.IO - Document Search Engine

HSS
Results: 4131

#	Item
901	PDF Document Add to Reading List Source URL: www.hss.cmu.edu - Date: 2006-01-30 10:31:41
902	Dedekind’s treatment of Galois theory in the Vorlesungen Edward T. Dean December 14, 2009 Technical Report No. CMU-PHIL-184 Philosophy Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2009-12-14 14:03:42 Algebraic number theory Group theory Galois theory Fundamental theorem of Galois theory Algebraic number field Field Ideal class group Real number Galois group Abstract algebra Algebra Field theory
903	PDF Document Add to Reading List Source URL: www.hss.cmu.edu - Date: 2006-01-30 10:12:04
904	PDF Document Add to Reading List Source URL: www.hss.cmu.edu - Date: 2006-02-06 11:34:30
905	PDF Document Add to Reading List Source URL: www.hss.cmu.edu - Date: 2006-01-30 09:21:24
906	PDF Document Add to Reading List Source URL: www.hss.cmu.edu - Date: 2006-02-06 12:19:52
907	PDF Document Add to Reading List Source URL: www.hss.cmu.edu - Date: 2006-01-30 10:13:41
908	PDF Document Add to Reading List Source URL: www.hss.cmu.edu - Date: 2006-01-30 12:07:12
909	PDF Document Add to Reading List Source URL: www.hss.cmu.edu - Date: 2006-01-30 11:35:11
910	A variant of the double-negation translation∗ Jeremy Avigad August 21, 2006 Abstract An efficient variant of the double-negation translation explains the Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2006-10-02 14:57:52 Model theory Formal languages Semantics Proof theory Dialectica interpretation Interpretation Intuitionistic logic First-order logic Well-formed formula Logic Mathematical logic Intuitionism

UPDATE