Related Tags

_copy _dipl algebraic algorithmic-information-theory all-computational-structures all-logical-theories all-physical-structures argumentation arithmetization books cartesian-closed-categories categorisation category-theory chaitin complexity computability computability-logic computational-epistemology computer-science consistency constants decoherence definability describability domain-theory dynamical-system emergence enumerability equivalence-class evolutionary-algorithms finiteness formal-context formal-system formalization fragments fundamental game-theory games generalized-algorithmic-probability generalized-kolmogorov-complexity godel goedel halting-problem hilbert iff incomplete inference infinite infinite-formal-context information-system interactivity knowledge kolmogorov-complexity lattice-of-theories logic logical-structures lp lucas many-body martingale mechanism metalogic-programming minimal-sufficient-statistic minimum-sufficient-statistic n-information-system nonmonotonicity of optimal ordinal paraconsistency partiality philosophy physics pricing principia_mathematica principle proof-procedure proof-theory proof-tree provability quantum-field-computation quantum-vacuum reflection relevant-logic resources scanned semantics state-space symmetry-breaking syntax temporal-relevant-logic theology theory time-horizon total-order turing uncomputability undecidable_propositions universality whole

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.