rzach's Zach:R [7 articles] Export

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

	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
	Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 3. (1999), pp. 331-366. by Richard Zach posted to bernays hilbert history history_of_logic logic post by rzach on 2005-03-16 18:07:57 as along with 1 person and 3 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Generalizing theorems in real closed fields [My Copy] Annals of Pure and Applied Logic, Vol. 75, No. 1-2. (12 September 1995), pp. 3-23. by Matthias Baaz, Richard Zach posted to generalization_of_proofs kreisel proof_theory by rzach on 2005-03-16 17:59:12 as along with 1 group LogicPhilMath
	Completeness of a first-order temporal logic with time-gaps [My Copy] Theoretical Computer Science, Vol. 160, No. 1-2. (10 June 1996), pp. 241-270. by Matthias Baaz, Alexander Leitsch, Richard Zach posted to logic proof_theory resolution temporal_logic by rzach on 2005-03-16 17:57:22 as along with 1 group LogicPhilMath
	Proof Theory of Finite-Valued Logics [My Copy] (1993) by Richard Zach posted to logic many-valued_logic natural_deduction proof_theory resolution sequent_calculus tableaux by rzach on 2005-03-16 03:55:38 as along with 1 group LogicPhilMath
	Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs [My Copy] History and Philosophy of Logic, Vol. 25 (2004), pp. 79-94. by Richard Zach posted to epsilon foundations hilbert history history_of_logic mathematics philosophy_of_mathematics proof_theory by rzach on 2005-03-14 15:37:52 as along with 1 person and 3 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Hilbert's Finitism: Historical, Philosophical and Metamathematical Perspectives [My Copy] (2001) by Richard Zach posted to bernays epsilon finitism hilbert history_of_logic logic philosophy_of_mathematics by rzach on 2005-03-14 02:59:53 as along with 1 group LogicPhilMath

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

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 Zach:R [7 articles] Export

rzach's tags