NNatural deduction theorem proving in set theoryNatural deduction theorem proving in set theoryde David SchmidtEdiciones (1)Natural deduction theorem proving in set theory. (1983)Dept. of Computer Science, Univ. of Edinburgh · inglésMás obras de David SchmidtRacing StripesJJinx of the black lynxJinx of the black lynxSourcebook for watershed education
