Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

rzach's Mancosu:P [4 articles] Export

Recent papers posted to rzach's library by the author Mancosu:P. You can also see everyone's Mancosu:P.

	Proofstyle and Understanding in Mathematics I: Visualization, Unification and Axiom Choice [My Copy] In Visualization, Explanation and Reasoning Styles in Mathematics (2005) by Jamie Tappenden edited by Paolo Mancosu, Klaus F. Jørgensen, Stig A. Pedersen posted to explanation philosophy_of_mathematics by rzach on 2005-10-23 04:49:05 as along with 2 people and 2 groups greg_restall Kevembuangga LogicPhilMath Impending_AI_breakthrough
	The Russellian Influence on Hilbert and his School [My Copy] Synthese, Vol. 137, No. 1 - 2. (November 2003), pp. 59-101. by Paolo Mancosu posted to behmann hilbert hilberts_program history_of_logic principia_mathematica russell by rzach on 2005-06-08 23:23:17 as along with 2 people and 3 groups A_Olympia greg_restall Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	The Development of Mathematical Logic from Russell to Tarski: 1900-1935 [My Copy] In The History of Modern Logic by Richard Zach, Paolo Mancosu, Calixto Badesa: edited by Leila Haaparanta posted to history_of_logic by rzach on 2005-03-16 18:22:25 as along with 1 person and 1 group mx80 LogicPhilMath
	Between Russell and Hilbert: Behmann on the Foundations of Mathematics [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 3. (1999), pp. 303-330. by Paolo Mancosu posted to behmann foundations hilbert history_of_logic philosophy_of_mathematics principia_mathematica russell by rzach on 2005-03-16 18:07:20 as along with 1 group LogicPhilMath

Note: You may cite this page as: http://www.citeulike.org/user/rzach/author/Mancosu:P

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.

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

rzach's Mancosu:P [4 articles] Export

rzach's tags