{"product_id":"simple-type-theory-9783031853517","title":"Simple Type Theory","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003eChapter 1 Introduction.- Chapter 2  Answers to Readers’ Questions.- Chapter 3 Preliminary Concepts.- Chapter 4 Syntax.- Chapter 5 Semantics.- Chapter 6 Additional Notation.- Chapter 7 Beta-reduction and Substitution.- Chapter 8 Proof Systems.- Chapter 9 Theories.- Chapter 10 Inductive Sets and Types.- Chapter 11 Sequences.- Chapter 12 Developments.- Chapter 13 Real Number Mathematics.- Chapter 14 Morphisms.- Chapter 15 Alonzo Variants.- Chapter 16 Software Support.\u003c\/p\u003e","brand":"Birkhäuser","offers":[{"title":"Default Title","offer_id":53195453727063,"sku":"9783031853517","price":61.74,"currency_code":"GBP","in_stock":false}],"url":"https:\/\/bookcurl.com\/products\/simple-type-theory-9783031853517","provider":"Book Curl","version":"1.0","type":"link"}