Items where Author is "Krivtsov, Victor N."

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

Report

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 Sun Dec 22 00:30:29 2024 CET.