{"product_id":"logic-colloquium-symposium-on-logic-held-at-boston-1972-73-9783540071556","title":"Logic Colloquium: Symposium on Logic held at Boston, 1972-73","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eCombinatorial functors.- Equality between functionals.- The use of abstract language in elementary metamathematics: Some pedagogic examples.- Weak monadic second order theory of succesor is not elementary-recursive.- The variable.- Abolition of the fregean axiom.- A realizability interpretation of the theory of species.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003eCombinatorial functors.- Equality between functionals.- The use of abstract language in elementary metamathematics: Some pedagogic examples.- Weak monadic second order theory of succesor is not elementary-recursive.- The variable.- Abolition of the fregean axiom.- A realizability interpretation of the theory of species.","brand":"Springer-Verlag Berlin and Heidelberg GmbH \u0026 Co. KG","offers":[{"title":"Default Title","offer_id":53196963283287,"sku":"9783540071556","price":32.79,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/logic-colloquium-symposium-on-logic-held-at-boston-1972-73-9783540071556","provider":"Book Curl","version":"1.0","type":"link"}