[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] Godel's theorem

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Godel's theorem
From: "Robert M. Solovay" <solovay@Math.Berkeley.EDU>
Date: Fri, 11 Feb 2005 22:21:11 -0800 (PST)

Someone recently mentioned a Mizar article on Godel's theorem. Could
someone give me the cite for this article.

Thanks,

	Bob Solovay

Follow-Ups:
- Re: [mizar] Godel's theorem
  - From: Jesse Alama <alama@stanford.edu>

References:
- [mizar] New Mizar articles in MML, January, 2005
  - From: Adam Grabowski <adam@math.uwb.edu.pl>

Prev by Date: [mizar] New Mizar articles in MML, January, 2005
Next by Date: Re: [mizar] Godel's theorem
Index(es):
- Chronological
- Thread