The book is currently out of stock
On the expressive power of first-order logic with built in predicates
Authors
Book variant
2002Book purchase
The book is currently out of stock.
2002We have tens of thousands of books in stock.
2002We have tens of thousands of books in stock.
2002