Computers, reasoning and mathematical practice (1998)

by U Martin
Venue:In Computational Logic, NATO Adv. Sci. Inst. Ser. F Comput. Systems Sci