ReeksenStudies in logic and the foundations of mathematics
9 Werken
Populariteit 25,630 (273 Leden)
400 Boeken
0 Besprekingen
4.3
Foundations of Set Theory door A.A. Fraenkel 20 exemplaren | 67 |
Handbook of Mathematical Logic door J. Barwise 41 exemplaren | 90 |
Topoi: The Categorial Analysis of Logic door Robert Goldblatt 135 exemplaren | 98 |
Set Theory: An Introduction to Independence Proofs door Kenneth Kunen 57 exemplaren | 102 |
The Lambda Calculus: Its Syntax and Semantics door H.P. Barendregt 92 exemplaren | 103 |
Combinatorial Set Theory: Partition Relations for Cardinals door Pál Erdős 5 exemplaren | 106 |
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1 door Piergiorgio Odifreddi 16 exemplaren | 125 |
Handbook of Proof Theory door S.R. Buss 13 exemplaren | 137 |
Lectures on the Curry-Howard Isomorphism door Morten Heine Sørensen 19 exemplaren | 149 |
Trefwoorden
Top Leden
morphismus (8 werken), 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), 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), Viresh (1)