Higher Order Proof by Consistency

Higher Order Proof by Consistency

Authors
H. Linnestad, C. Prehofer and O. Lysne