Proof Theory and Logic Programming: Computation as Proof Search - Dale Miller
type: Product
sku: 45937955
gtin: 9781009561297
brand: Dale Miller
category: Cărți
offers: Offer
  price: 518.4
  price currency: RON
  availability: https://schema.org/InStock
  condition: https://schema.org/NewCondition
  seller: libris.ro
  price valid until: 2026-08-25
  valid from: 2026-08-07T12:50:21.456Z