rzach's tags

analytic_philosophy arithmetic behmann benacerraf bernays bibtex-import bolzano category_theory church computer computer_science curry disquotation epsilon explanation field finitism forcing foundations four_color_theorem free_logic frege fuzzy_logic generalization_of_proofs gentzen geometry godel godel_logic herbrand hilbert hilberts_program history history_of_logic hsitor_of_logic hypersequents indexicals intuitionistic_logic kant kleene konig kreisel lambda_calculus lisp logic logicism lucas lukasiewicz_logic many-valued_logic mathematics mechanism modal_logic natural_deduction nominalism normalization paradox peer_review philosophy_of_logic philosophy_of_mathematics post principia_mathematica programming_languages progressions proof_theory ramsey reflection resolution reverse_mathematics russell sequent_calculus set_theory shoemaker sorites supervaluationism tableaux tarski temporal_logic truth types type_theory vagueness

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.