Items where Author is "Krivtsov, Victor N."

Group by: Item Type | No Grouping
Number of items: 2.

ML-1998-06: Krivtsov, Victor N. (1998) A Negationless Interpretation of Intuitionistic Axiomatic Theories: Arithmetic and Analysis. [Report]

ML-1998-07: Krivtsov, Victor N. (1998) A Negationless Interpretation of Intuitionistic Axiomatic Theories: Higher-Order Arithmetic. [Report]

This list was generated on Thu Nov 21 00:30:40 2024 CET.