{"version":"1.0","type":"link","provider_name":"Hardcover","provider_url":"https://hardcover.app","cache_age":86400,"title":"Basic Proof Theory","url":"https://hardcover.app/books/basic-proof-theory","description":"Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.","author_name":"Anne S. Troelstra and H. Schwichtenberg","author_url":"https://hardcover.app/authors/anne-s-troelstra","authors":[{"name":"Anne S. Troelstra","url":"https://hardcover.app/authors/anne-s-troelstra"},{"name":"H. Schwichtenberg","url":"https://hardcover.app/authors/h-schwichtenberg"}],"thumbnail_url":"https://assets.hardcover.app/external_data/36087553/014763c3d57f301a8e39166e83f5b9f2954a13fb.jpeg","thumbnail_width":314,"thumbnail_height":475}