Conte aos seus amigos sobre este item:
Interpolation and Definability: Modal and Intuitionistic Logics - Oxford Logic Guides Gabbay, Dov M. (, Department of Computer Science, King's College London)
Preço
R$ 1.540,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 30 de set - 12 de out
Receba avisos sobre novos lançamentos de Gabbay, Dov M. (, Department of Computer Science, King's College London)
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Interpolation and Definability: Modal and Intuitionistic Logics - Oxford Logic Guides
Gabbay, Dov M. (, Department of Computer Science, King's College London)
This monograph is on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language.
524 pages, numerous line drawings and mathematical examples
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 12 de maio de 2005 |
| ISBN13 | 9780198511748 |
| Editoras | Oxford University Press |
| Páginas | 524 |
| Dimensões | 163 × 242 × 33 mm · 907 g |
| Idioma | Inglês |
![Cover for My eyes for beauty pine (Sheet music) [Vocal score edition] (2028)](https://imusic.b-cdn.net/images/item/original/126/9780193501126.jpg?2028-my-eyes-for-beauty-pine-sheet-music&class=scaled&v=1550933031)
![Cover for Harris Jr., H. Stephen (Partner, Partner, Winston & Strawn LLP) · Anti-Monopoly Law and Practice in China (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/089/9780198704089.jpg?harris-jr-h-stephen-partner-partner-winston-strawn-llp-2027-anti-monopoly-law-and-practice-in-china-paperback-book&class=scaled&v=1471196294)
![Cover for Gilmore, Stephen (Professor of Family Law and Vice-Dean, Professor of Family Law and Vice-Dean, King's College London) · Hayes & Williams' Family Law (Paperback Book) [8 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/233/9780192866233.jpg?gilmore-stephen-professor-of-family-law-and-vice-dean-professor-of-family-law-and-vice-dean-king-s-college-london-2027-hayes-williams-family-law-paperback-book&class=scaled&v=1677285021)
![Cover for Marian Iszatt-White · Leadership (Paperback Book) [4 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/475/9780197939475.jpg?marian-iszatt-white-2027-leadership-paperback-book&class=scaled&v=1788787135)
![Cover for Elliott, Mark (Professor of Public Law, Professor of Public Law, University of Cambridge) · Public Law 6e (Paperback Book) [6 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/704/9780197903704.jpg?elliott-mark-professor-of-public-law-professor-of-public-law-university-of-cambridge-2027-public-law-6e-paperback-book&class=scaled&v=1789391964)
![Cover for Gillespie, Andrew (Formerly Head of Business and Marketing Director, d'Overbroecks, Oxford and Associate Lecturer, Formerly Head of Business and Marketing Director, d'Overbroecks, Oxford and Associate Lecturer, Oxford Brookes University) · Foundations of Economics (Paperback Book) [6 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/235/9780192846235.jpg?gillespie-andrew-formerly-head-of-business-and-marketing-director-d-overbroecks-oxford-and-associate-lecturer-formerly-head-of-business-and-marketing-director-d-overbroecks-oxford-and-associate-lecturer-oxford-brookes-university-2027-foundations-of-economi&class=scaled&v=1784550996)