Arnold, A. Niwinski, D.
Rudiments of U-Calculus : (SL 146) - Netherlands North-Holland 2001 - 277 - Studies in Logic, 146 .
0 444 50620 9
U-Calculus
510.6 ARN
Rudiments of U-Calculus : (SL 146) - Netherlands North-Holland 2001 - 277 - Studies in Logic, 146 .
0 444 50620 9
U-Calculus
510.6 ARN