Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs Book PDF, ePub eBook

D Cantone, Cutello Cutello, A Ferro
Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs

Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs.pdf

File Name: Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs.pdf
Size: 31.17 MB
Uploaded: 2017-01-16 09:12:8

Status: AVAILABLE Last checked: 31 Minutes ago!

Rating: ★★★★★ 96 out of 100 based on 13028 user