Nr. 143 (1982): PB-143 A Programming Language for the Inductive Sets, and Applications

Publiceret: 1982-04-01

Articles