Rob Arthan
- The Eudoxus Real Numbers
2004/05/24 by Rob Arthan, R. D. Arthan, Arthan, R. D. · 1 citation
Mathematics · #History and Theory of Mathematics #Mathematical and Theoretical Analysis #Mathematics and Applications #math.HO #msc:12J15
- On Affine Logic and Łukasiewicz Logic
2014/04/02 by Rob Arthan, Paulo Oliva, Arthan, Rob +1 · 1 citation
Computer Science · #03B35 #03B47 #03F03 #03F52 #Advanced Algebra and Logic #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems