V-Horn
Subtitle: a Horn-based second-order theory of arithmetic.
Published: 2000
Language: eng
Number of pages: 54
Notes: MICR copy on microfiche (1 microfiche).