SeriesStudies in logic and the foundations of mathematics
9 Obras
Popularidad 25,710 (273 Miembros)
400 Libros
0 Reseñas
4.3
Foundations of Set Theory por A.A. Fraenkel 20 copias | 67 |
Handbook of Mathematical Logic por J. Barwise 41 copias | 90 |
Topoi: The Categorial Analysis of Logic por Robert Goldblatt 135 copias | 98 |
Set Theory: An Introduction to Independence Proofs por Kenneth Kunen 57 copias | 102 |
The Lambda Calculus: Its Syntax and Semantics por H.P. Barendregt 92 copias | 103 |
Combinatorial Set Theory: Partition Relations for Cardinals por Pál Erdős 5 copias | 106 |
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1 por Piergiorgio Odifreddi 16 copias | 125 |
Handbook of Proof Theory por S.R. Buss 13 copias | 137 |
Lectures on the Curry-Howard Isomorphism por Morten Heine Sørensen 19 copias | 149 |
Etiquetas
Miembros Principales
morphismus (8 obras), zhuazhua88 (5), hmack777 (5), Tammmer (5), xoanon93 (5), howison (4), ajp7 (4), shingarov (4), appleby (4), RLKnighten (4), Crooper (3), ucomigna (3), steshaw (3), ucsbphilosophy (3), DoctorQ (3), jwinterburn (3), josh314 (3), koffieyahoo (3), nocebo (3), raak (3), hikimore (2), louisbirla (2), ameen2 (2), excessbooks (2), wrrnhttn (2), UMPhilosophy (2), KennethUdut (2), erathostenes (2), Markober (2), jsroyer (2), ever_3v3r (2), erisdunn (2), shadeofpale (2), logicatGU (2), timcowlishaw (2), John_Dryden_Jr (2), hemlisp (2), edwincoleman (2), nicodemo (2), draganigajic (2), mathboy (2), Aryanhwy (2), peterdmark (2), PhyllyssAcid-OphPh.D (2), pmcjones (2), davidgn (2), nfactor13 (2), mkjones (2), Divadrax (2), cpg (2), baginski (2), kessaris (1), stopcrates (1), joewh (1), noor620 (1), apricissimus (1), Cliff_Elis (1), igravious (1), thophd (1), xandkar (1), arieser (1), faendril (1), pennphilosophy (1), alanese (1), dlcohn (1), RHagenson (1), gpassmore (1), bmgxc9 (1), sjfloat (1), vnmorah (1), bunnyladame (1), ajtindall (1), jsweinberger (1), agashlin (1), aahlad (1), VioletCrown (1), banjiewen (1), Floyd3345 (1), CDSNeedham (1), sevenene (1), mainland (1), DerekClegg (1), heymrbass (1), thsutton (1), logoi (1), bennn (1), Dale_Jacquette (1), keithb_b (1), Ashlad (1), ba032759 (1), johnrose00 (1), CMUQLResearch (1), WilhelmCronje (1), Zana.Chan (1), etourneau (1), hallo1234 (1), drexin (1), davidar (1), alfredqbit (1), dwpaxson (1), Kliban (1), PrismaticLibrary (1), benwr (1), particle.mania (1), Rick7C2 (1), dkcampbell (1), gipilt (1), LPSLibrary (1), davidpenton (1), phillner (1), SJCLibraryOxford (1), UgoDalLago (1), jjmourajr (1), hunan.rostomyan (1), mklucznik (1), maresed (1), temehi (1), sinetempore (1), wispfrog (1), ahkaissi (1), edwtjo (1), ExportFrisian (1), Johnicholas (1), symbols (1), gvaf (1), porges (1), abj (1), StephanSpahn (1), sipeswj (1), blackwinter (1), bikashg (1), Leonardo_Caffo (1), albluca (1), mjdrabik (1), kukulaj (1), Gengulf (1), BNCLibrary (1), ejptrsn (1), mekaj (1), banook (1), Floyd5642 (1), pleigh20 (1), siai (1), ottological (1), ps_ttf (1), beroal (1), vishallama (1), akopete (1), shmibs (1), MALILO (1), Sippara (1), hmcmath (1), antoniogarrote (1), angelobear (1), pgourdin (1), nadathur (1), mpdought (1), laguvajra (1), owen1611 (1), dsiddy (1), jessigib (1), netrapture (1), sp_ (1), supergeniuscoyote (1), PeteSchult (1), quokka70 (1), mitphilosophy (1), JonasH (1), hishamuddinz (1), rpeckham (1), linacre (1), pjrobar (1), gangleri (1), undertheflowerpot (1), bmenasha (1), skoteinos (1), BrianLennon (1), bultitude (1), francis.franck (1), Ganzy (1), igus (1), carnelevare (1), yeshivankem (1), amorgo (1), noetickerf (1), axiomsofchoice (1), adno (1), frankieist (1), scg (1), prosfilaes (1), prahlad (1), genepope (1), kyrreando (1), Nao (1), doctor.scruff (1), gebner (1), pvnotp (1), dhw9406 (1), cjeris (1), zarvok (1)