Y. Rav

发表

A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices

Yehuda Rav, Y. Rav, 2007 .

Philosophical Problems of Mathematics in the Light of Evolutionary Epistemology

Y. Rav, 1989, Philosophica.

Why Do We Prove Theorems

Y. Rav, 1999 .

What is Dialectical Philosophy of Mathematics ?

Lewis D. Griffin, D. Corfield, R. Ashcroft, 2022 .

Subdirect decomposition of rings and the axiom of choice

Y. Rav, 1988 .

On the Interplay Between Logic and Philosophy: A Historical Perspective

Y. Rav, 1993 .

Semiprime ideals in general lattices

Yehuda Rav, Y. Rav, 1989 .