<--- Back to Details
First PageDocument Content
Urelements / New Foundations / Type theory / Willard Van Orman Quine / Lambda calculus / Zermelo–Fraenkel set theory / Functor / Cartesian closed category / Category theory / Mathematical logic / Mathematics / Logic
Date: 2009-08-02 17:58:25
Urelements
New Foundations
Type theory
Willard Van Orman Quine
Lambda calculus
Zermelo–Fraenkel set theory
Functor
Cartesian closed category
Category theory
Mathematical logic
Mathematics
Logic

Add to Reading List

Source URL: math.stanford.edu

Download Document from Source Website

File Size: 154,00 KB

Share Document on Facebook

Similar Documents

New Foundations: Strategic Plan for the British Columbia Arts Council

DocID: 1xTwE - View Document

-7232651016000left33683000 New Program Assessment Foundations The purpose of the new program assessment foundations (NPAF) document is to assist faculty with developing new programs or, in some cases, program

DocID: 1vdxT - View Document

Comparing Foundations to Federal Government Research Support Private foundations play a critical role in the discovery of new treatments and cures for serious and often fatal diseases by providing supplemental funding fo

DocID: 1uT7F - View Document

EXCERPTED FROM CHAPTER 1 The Foundations for a New Kind of Science

DocID: 1uI76 - View Document

What Is Platform Politics? ​Foundations​ of a New Form of Political Power By Michael Seemann, first published in ‘Zeitschrift für sozialistische Politik und Wirtschaft’ (SPW), Sin DecemberIn earl

DocID: 1u2iv - View Document