|
Journals in DBLP
Aspects of strong compactness, measurability, and indestructibility. [Citation Graph (, )][DBLP]
Representation theorems for transfinite computability and definability. [Citation Graph (, )][DBLP]
Prime ideals on P omega (lambda) with the partition property. [Citation Graph (, )][DBLP]
Continuity, proof systems and the theory of transfinite computations. [Citation Graph (, )][DBLP]
A normalizing system of natural deduction for intuitionistic linear logic. [Citation Graph (, )][DBLP]
|