Skip to main content
20 Years of LibraryThingLibraryThing Home LibraryThing Home
HomeGroupsTalkMoreZeitgeist
Home Groups Talk More Zeitgeist
Sign in / Join EnglishHelp
Search Site
  • Sign in / Join
  • English
  • Help
    sbricknerProfileBooksCharts & GraphsReviewsGallery

    Member sbrickner

    Books
    18
    Collections
    Your library (18)
    Tags
    math calculus (3), logic proof undecidability (2), category theory (2), math general (2), math algebra (1), math algebra group-theory (1), math information-theory (1), theory distributed programming (1), math category theory (1), logic proof (1), non-classical logic (1), math probability game-theory statistics (1), programming refinement-calculus logic (1)
    Clouds
    Tag Cloud, Author Cloud, Tag Mirror
    Media
    Groups
    Happy Heathens
    Joined
    Oct 1, 2006

    Recent Activity

    sbrickner added
    The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions
    sbrickner added
    On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Kurt Gödel
    sbrickner added
    Basic Category Theory for Computer Scientists (Foundations of Computing) by Benjamin C. Pierce
    sbrickner added
    Conceptual Mathematics: A First Introduction to Categories by F. William Lawvere
    sbrickner rated, added
    Refinement Calculus: A Systematic Introduction (Texts in Computer Science) by Ralph-Johan Back
    sbrickner rated, added
    Natural Deduction: A Proof-Theoretical Study by Dag Prawitz

    Similar Libraries

    See Shared Books 

    MDS Spectrum

    Change StyleDesktop ViewMobile View
    HomeAboutContactPrivacyHelp
    BlogWikiThingCommon KnowledgeEarly ReviewersLegacy LibrariesLocalAPIsTinyCat
    20 Years of LibraryThing
    Verdana StandardVerdana SmallThe LoraxSystem StandardSystem LargeGeorgiaLarge TextAtkinson