<--- Back to Details
First PageDocument Content
Algebraic structures / Algebraic logic / Non-classical logic / Logicians / Helena Rasiowa / Roman Sikorski / Forcing / Lindenbaum–Tarski algebra / Boolean algebra / Logic / Mathematical logic / Mathematics
Date: 2013-07-10 12:43:35
Algebraic structures
Algebraic logic
Non-classical logic
Logicians
Helena Rasiowa
Roman Sikorski
Forcing
Lindenbaum–Tarski algebra
Boolean algebra
Logic
Mathematical logic
Mathematics

Add to Reading List

Source URL: comet.lehman.cuny.edu

Download Document from Source Website

File Size: 36,87 KB

Share Document on Facebook

Similar Documents

Object-oriented programming / Computer programming / Data types / Polymorphism / Subtype polymorphism / Models of computation / Type system / Inheritance / Objective-C / Software engineering / Type theory / Computing

Fundamenta Informaticae XX–39 IOS Press A Subtyping for Extensible, Incomplete Objects To Helena Rasiowa: in memoriam

DocID: 18IFz - View Document

Mostowski / Kazimierz Kuratowski / Andrzej Grzegorczyk / Stefan Banach / University of Warsaw / Grzegorczyk hierarchy / Wacław Sierpiński / Helena Rasiowa / Roman Sikorski / Mathematics / Academia / European people

impan-znak-kontra-bez_ramki

DocID: aIAx - View Document

Algebraic structures / Algebraic logic / Non-classical logic / Logicians / Helena Rasiowa / Roman Sikorski / Forcing / Lindenbaum–Tarski algebra / Boolean algebra / Logic / Mathematical logic / Mathematics

PDF Document

DocID: E06 - View Document