First Page | Document Content | |
---|---|---|
![]() Date: 2006-01-30 15:28:37Functions and mappings Model theory Computability theory Nonassociative algebra Principia Mathematica Primitive recursive function Function FO Constructible universe Mathematics Mathematical logic Logic | Source URL: www.research.ibm.comDownload Document from Source WebsiteFile Size: 327,27 KBShare Document on Facebook |
![]() | A Cubical Approach to Synthetic Homotopy Theory Daniel R. Licata Guillaume Brunerie Wesleyan UniversityDocID: 1aVHU - View Document |
![]() | A Note on Algebraic Properties of Quasigroups in Edon80 Milan Vojvoda, Marek Sýs and Matú² Jókay , ,DocID: 1aneM - View Document |
![]() | My sources: • Norman Biggs, “Chip-firing and the critical group of a graph”, J. Alg. Combin), 25–45 • Discussions with Gregg Musiker The Chip-Firing Game • Start with a finite, simple, connected grapDocID: 1a3Je - View Document |
![]() | EVALUATION OF SUPERSTRING AMPLITUDES IN GENUS 2 Duong H. Phong Columbia University Supermoduli Workshop Simons Center for Geometry and PhysicsDocID: 19eeG - View Document |
![]() | PDF DocumentDocID: 191pl - View Document |