Back to Results
First PageMeta Content
Constructible universe / Z notation / Boolean algebra / Tarski–Grothendieck set theory / Constructive set theory / Mathematical logic / Mathematics / Logic


FORMALIZED MATHEMATICS Number 1, January 1990
Add to Reading List

Document Date: 2010-06-24 21:10:08

Open Document

File Size: 54,52 KB

Share Result on Facebook

Facility

University Bialystok Summary / /

Organization

Warsaw University / /

Person

Philippe le Hodey / Alfred Tarski / /

PublishedMedium

Fundamenta Mathematicae / /

SocialTag