Arithmetic as a theory modulo (2005)

Cached

Download Links

by Gilles Dowek , Benjamin Werner
Venue:Proceedings of RTA’05
Citations:18 - 3 self