Series Studies in logic and the foundations of mathematics
9 Works
Popularity 27,747 (302 Members)
452 Books
0 Reviews
4.2
- Foundations of Set Theory by A.A. Fraenkel
- Handbook of Mathematical Logic by J. Barwise
- Topoi: The Categorial Analysis of Logic by Robert Goldblatt
- Set Theory: An Introduction to Independence Proofs by Kenneth Kunen
- The Lambda Calculus: Its Syntax and Semantics by H.P. Barendregt
- Combinatorial Set Theory: Partition Relations for Cardinals by Pál Erdős
- Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1 by Piergiorgio Odifreddi
- Handbook of Proof Theory by S.R. Buss
- Lectures on the Curry-Howard Isomorphism by Morten Heine Sørensen
| Foundations of Set Theory by A.A. Fraenkel 23 copies | 67 |
| Handbook of Mathematical Logic by J. Barwise 43 copies | 90 |
| Topoi: The Categorial Analysis of Logic by Robert Goldblatt 158 copies | 98 |
| Set Theory: An Introduction to Independence Proofs by Kenneth Kunen 68 copies | 102 |
| The Lambda Calculus: Its Syntax and Semantics by H.P. Barendregt 105 copies | 103 |
| Combinatorial Set Theory: Partition Relations for Cardinals by Pál Erdős 6 copies | 106 |
| Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1 by Piergiorgio Odifreddi 15 copies | 125 |
| Handbook of Proof Theory by S.R. Buss 16 copies | 137 |
| Lectures on the Curry-Howard Isomorphism by Morten Heine Sørensen 21 copies | 149 |
Tags
Top Members
Crooper (8 works), morphismus (8), zhuazhua88 (5), hmack777 (5), Tammmer (5), xoanon93 (5), howison (4), shingarov (4), appleby (4), RLKnighten (4), ucomigna (3), steshaw (3), ucsbphilosophy (3), DoctorQ (3), jwinterburn (3), josh314 (3), koffieyahoo (3), nocebo (3), raak (3), msummers57 (2), isniffbooks (2), louisbirla (2), wimmi (2), AlunStokes (2), ameen2 (2), thobaa (2), excessbooks (2), wrrnhttn (2), UMPhilosophy (2), KennethUdut (2), erathostenes (2), dconbluz (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), SRB5729 (2), peterdmark (2), PhyllyssAcid-OphPh.D (2), pmcjones (2), davidgn (2), nfactor13 (2), mkjones (2), Divadrax (2), cpg (2), baginski (2), bdkl (1), Ronald_Lett (1), Alex1879 (1), lambdas (1), SanuCollection (1), thorimur (1), saigonofakkad (1), mnifldz (1), gustavoturm (1), ebreyer (1), marsatak (1), jrliu (1), dutchgriffon (1), G-mans (1), kessaris (1), stopcrates (1), joewh (1), noor620 (1), apricissimus (1), igravious (1), thophd (1), arieser (1), faendril (1), pennphilosophy (1), alanese (1), asheingold (1), dlcohn (1), RHagenson (1), gpassmore (1), bmgxc9 (1), sjfloat (1), vnmorah (1), bunnyladame (1), ajtindall (1), jsweinberger (1), lucasbang (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), pauldavidrowe (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)