adicionar à lista de desejos
The Clausal Theory Of Types
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, April of 1993 ‧
see product details
86,52€
10% OFF
CARD
TVZCWU5UWmhTelJUZHl0M1NFRXJObFpuZVRSQlIyZGxVMUUzYlRGdlQxQllPWGx6YldwdmJsQlFOV2t6YVZGUk4zaHBVMU5IVDJGMk9HaHpka3RFYlZWRlNISkNVbFpuUW5SQ1MyTlBZV3N3T0RSVldGUmxiRGxhTkU5YUwyeERjazgzUVdSSE9WWnRlRWx0VjJKVmFVbzBWMUo1VDBFck5qSmpibFpyZVUxa05VOURTSFJ5YkdsUlpVMXRObmRGU2tSTk5rOVNXVE52UTFaTWIxQmhkbkpsYzJkTVJXWkZiMGxyY25CaWVrWnFiRFZTYTFWWFdXcFVWalptTUd3M01ITlpNV05hYTNkU2NISlFWM2xPVmxCT2REbHdTbTAxUWpodWIzTkRVa0V3VFdKaGEyMUdUVWhyZUZScFZEaHpVME5oY0ZZMWRrbzFWemt4TTI5QloxcFZjVVJxTWpoU2QwRlFObU5pYUVvNVdIbEplVlp3T0VsUlRHWjFVWFVyVTNsNGJsWlZXSEZ0VEZNMVZXbHhjalV5WTBodU9Xc3ZWVzE2VFU0MldtNWFVblZPT0ZGa1pGbDNNbmxtVTJGQmFVRlZlbTV1VTNSc2RUaE5PR05CZVdaTmJqTjRVM0JsU1RCclpGVnRWSEZITjJNM1JIZzNXa2hrYW05ek0yUnZaRzQwY3pKMVR5OHhOR1J3UlUxVFprWlJVamxGZUU1UlRXVXpTMUJsVkVGa04wOUdjRk5YVERFNFJHSmhSbkV6UVc5emIwNUhVbVJrUVhSR1NXSjFkakZUU1hRNVVXZFJUMkZCVFdaYWFUbFdRbGM0U3pobk1EUXlSVXA2UTBNMGNUSnNkVk52VlZwUFRIZG5hMDFHT0dSdmNsSTRjbGRKWWs1NGVrRlpORlJUVW5aMmVUWjRjek0yVG00MFozVlBPR1JtSzBSTlNtUmFhR0ZtUWtNNFpFMVhTeXRvYzNCQlJHSmxjalprYUVKQlprSldhbUpKWlU5amNuaDNhWHBPYTNsTlZGcHhkV05DV1ZCb1Fta3haV3hTZDI4d05HWkhVa1phTkhrd2VUSllNamhCVURKT1VucFpSME52Y21Wbk9EbEpja1Z1U0daWmJVaEVWMGRvZFVaMk5reFhaMVZsYmxwb05YVlRTR1J4VjNOMmJUUnNRVTVrTm14bFZrRndWVFZsUjBrd1VIcGhkbk5CTUdObVJUbENSRUl3ZFVSa2RVOWFWMEZsTUV4cU9FRTFVVmxpUlc5VlNrcHBZVUpOYnpBMVYzaE5iMHAzZEhaQkwwRkVRekpUWlc1WlR6ZzNhRkJaYjBaTFNGaFBhblpvUlV0Wk9FSlZhSE5VUmpadGFXWlpZM05VZENzelZXVmtiV014YTFSQmQxbzNVVDA5OnJIK2V4bHozQjVZd2FmTG0vakd5blE9PQ==
free shipping
Sell your book
SYNOPSIS
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780521395380 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | April of 1993 |
| Language: | English |
| Cover: | Hardcover |
| Pages: | 134 |
| Format: | Book |
| Collection: | Cambridge Tracts In Theoretical Computer Science |
| Categories: |
Books in English
>
Computing
>
Schedule
Books in English > Computing > Introduction to Computing |
| EAN: | 9780521395380 |
BOOKS FROM THE SAME COLLECTION
-
10%Initial Algebras And Terminal CoalgebrasCAMBRIDGE UNIVERSITY PRESS188,59€
209,54€free shipping -
10%Topological Duality For Distributive LatticesCAMBRIDGE UNIVERSITY PRESS82,74€
91,93€free shipping
-
10%The Clausal Theory Of TypesCAMBRIDGE UNIVERSITY PRESS39,20€ 10% CARDfree shipping