Higher-Order Logic and Type Theory. New ed, Paperback/***

Descriere YEO:

Higher-Order Logic and Type Theory. - Disponibil la elefant.ro

Pe YEO găsești Higher-Order Logic and Type Theory. de la Cambridge University Press, în categoria Foreign Books.

Indiferent de nevoile tale, Higher-Order Logic and Type Theory. New ed, Paperback/*** din categoria Foreign Books îți poate aduce un echilibru perfect între calitate și preț, cu avantaje practice și moderne.

Preț: 134.99 Lei

Caracteristicile produsului Higher-Order Logic and Type Theory.

• Brand: Cambridge University Press
• Categoria: Foreign Books
• Magazin: elefant.ro
• Ultima actualizare: 18-12-2024 01:30:59

Comandă Higher-Order Logic and Type Theory. Online, Simplu și Rapid

Prin intermediul platformei YEO, poți comanda Higher-Order Logic and Type Theory. de la elefant.ro rapid și în siguranță. Bucură-te de o experiență de cumpărături online optimizată și descoperă cele mai bune oferte actualizate constant.

Descriere magazin:
An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theory, its relationship to set theory, and descriptions of contemporary forms of type theory. Publisher: Cambridge University Press Author(s): John L. (University of Western Ontario) Bell Illustration(s): Worked examples or Exercises Number of pages: 75 Collection: Elements in Philosophy and Logic Publication date: 2022 Dimensions: 152 x 228 x 8 Cover type: Paperback / softback