The top documents tagged [free logic bootstrapping]

Bounded arithmetic in free logic
Technology Bounded arithmetic in free logic

3.403 views