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