
Proof Theory and Logic Programming: Computation as Proof Search
Author(s): Dale Miller (Author)
Cambridge University | 2025 | English | 9781009561297 | 334 pages | PDF | 1 MB

Author(s): Dale Miller (Author)
Cambridge University | 2025 | English | 9781009561297 | 334 pages | PDF | 1 MB

Author(s): Sean Meyn (Author)
Cambridge University | 2022 | English | 9781316511961 | 450 pages | PDF | 11 MB

Author(s): Jeremy Watt (Author), Reza Borhani (Author), Aggelos K. Katsaggelos (Author)
Cambridge University | 2020 | English | 9781108480727 | 594 pages | PDF, EPUB | 43 MB

Author(s): Anthony T. Paxton (Author)
Cambridge University | 2025 | English | 9781009562829 | 294 pages | PDF | 3 MB

Author(s): Philip L. Smith (Author), Roger Ratcliff (Author)
Cambridge University | 2025 | English | 9781009652681 | 552 pages | PDF | 10 MB

Author(s): Percy Deift (Author), Guillaume Dubach (Author), Carlos Tomei (Author), Thomas Trogdon (Author)
Cambridge University | 2025 | English | 9781009664356 | 172 pages | PDF | 1 MB

Author(s): Eric W. Bridgeford (Author), Alexander R. Loftus (Author), Joshua T. Vogelstein (Author)
Cambridge University | 2025 | English | 9781009405393 | 478 pages | PDF | 18 MB

Author(s): Behzad Razavi (Author)
Cambridge University | 2025 | English | 9781009602235 | 604 pages | PDF | 6 MB

Author(s): Elisabeth Steindl (Author)
Cambridge University | 2025 | English | 9781009671651 | 280 pages | PDF | 1 MB

Author(s): Dan Wu (Editor), Shaobo Liang (Editor)
Cambridge University | 2025 | English | 9781009587853 | 320 pages | PDF | 3 MB