science.mathematics.frogs (thread)
<
Prev Period
]
[
Next Period
>
Lutz and Goedel
,
Alessio Guglielmi
PCC 06
,
Alessio Guglielmi
Baez
,
Alessio Guglielmi
PhD thesis?
,
Saeed Salehi
Re:PhD thesis?
,
Alessio Guglielmi
congratulations!
,
D Richardson
Re: congratulations!
,
David J. Pym
Re:Deduction modulo in CoS
,
Alessio Guglielmi
Re: Deduction modulo in CoS
,
Guillaume Burel
<
Prev Period
]
[
Next Period
>
News
|
FAQ
|
advertise
