Logical frameworks (34 résultats)

Etat : New.

hardcover. Etat : New. In shrink wrap. Looks like an interesting title.

Etat : New.

Hardcover. Etat : New.

Etat : New. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Editor(s): Huet, Gerard; Plotkin, G. Num Pages: 416 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738. . 1991. hardcover. . . . . …

Etat : New.

Etat : New.

Etat : As New. Unread book in perfect condition.

Hardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Etat : As New. Unread book in perfect condition.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New. pp. 416.

Etat : New. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Editor(s): Huet, Gerard; Plotkin, G. Num Pages: 416 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738. . 1991. hardcover. . . . . Books ship from the US and Ireland. …

Etat : As New. Unread book in perfect condition.

Hardback. Etat : New. This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising with regard to applications.Research arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered.Academics, students and researchers will find that the book contains a thorough overview of all relevant research in this field.…

Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.…

Gebunden. Etat : New. This English translation of the author s original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and se.

Paperback. Etat : Brand New. 480 pages. 9.00x6.00x1.09 inches. In Stock.

Etat : New. pp. 476.

Buch. Etat : Neu. Neuware - This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising with regard to applications.Research arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered.Academics, students and researchers will find that the book contains a thorough overview of all relevant research in this field.…

Hardback. Etat : New. This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising with regard to applications.Research arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered.Academics, students and researchers will find that the book contains a thorough overview of all relevant research in this field.…

Etat : New. pp. 476 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

Hardcover. Etat : As New. No Jacket. Studies in Logic and the Foundations of Mathematics, Volume 135. Covers clean and bright, hardly any shelf wear, virtually as new. No dust jacket (as issued).

Paperback. Etat : Brand New. 484 pages. 10.00x7.00x1.20 inches. In Stock. This item is printed on demand.

HRD. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

HRD. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.Inhaltsverzeichnis1. The logical theory of constructions P. Aczel and D. Carlisle 2. The Boyer-Moore theorem prover and Nuprl: an ex.…

Hardcover. Etat : new. Hardcover. This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…