Simple On-the-fly Automatic Verification of Linear Temporal Logic, R. Gerth and D. Pele, ACM Digital Library
Simple multiplicative proof nets with units
Simple formulas defining complicated sets
Shrinking games and local formulas
Show
Show
SG Questions and Answers
Seventy-five problems for testing automatic
Sets, Numbers, and Logic
Sets, Logic, Computation
Sets, Logic, Computation
Sets with dependent elements: Elaborating on Castoriadis` notion of
Sets (section 3.1 )
Sets
Sets
Set-generated Classes in Constructive Set Theory CZF
Set theory, by Thomas Jech, Academic Press, New York, 1978, xii +
Set Theory II
Set theory and logic
Set Theory and Logic
