Books in category Logic
1 2 3 4 5 6 7 8 9 10
Author: Shaw, Charles Gray
Publisher : Kessinger Publishing
ISBN : 9780548063439
Author:
Publisher : Springer
ISBN : 9783540601784
This book contains revised versions of papers invited for presentation at the International Workshop on Logic and Computational Complexity, LCC '94, held in Indianapolis, IN in October 1994.The synergy between logic and computational complexity has gained importance and vigor in recent years, cutting across many areas. The 25 revised full papers in this book contributed by internationally outstand
Author: Heyd, David
Publisher : Cambridge University Press
ISBN : 9780521109666
David Heyd''s study will stimulate philosophers to recognise the importance of the rather neglected topic of the distinctiveness of supererogation.
Author: Boole, George
Publisher : Kessinger Publishing
ISBN : 9781430488941
A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated algebraically.
Author: Maund, Barry
Publisher : Cambridge University Press
ISBN : 9780521110129
This book defends the radical thesis that no physical object has any of the colours we experience it as having.
Author: Stepanians, M.
Publisher : College Publications
ISBN : 9781904987581
Author: Pym, David J.
Publisher : Kluwer Academic Publishers
ISBN : 9781402007453
This monograph provides a thorough account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. Starting, on the one hand, from elementary observations about modelling resources and, on the other, from a desire to develop a system of logic within which
Author: Jacod, Jean ;Boiten, E. a. ;Moller, B.
Publisher : Springer
ISBN : 9783540438571
Author: Armando, A.
Publisher : Springer
ISBN : 9783540433811
Author: Stern, August ;Stern, A.
Publisher : North-Holland
ISBN : 9780444826183
Making Sense of Inner Sense 'Terra cognita' is terra incognita. It is difficult to find someone not taken abackand fascinated by the incomprehensible but indisputable fact: there are material systems which are aware of themselves. Consciousness is self-cognizing code. During homo sapiens's relentness and often frustrated search for self-understanding various theories of consciousness have been and
Author:
Publisher : Springer
ISBN : 9783540727873
This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May 2007. The 22 revised full papers presented together with 12 revised short papers presented together with 2 invited talks were carefully selected from 74 submissions. All current research issues in propositional and quant
Author: Van Dalen, D. ;Troelstra, Anne S. ;Troelstra
Publisher : Elsevier Science & Technology
ISBN : 9780444705068
Author:
Publisher : Unknown
ISBN : 9780444504661
Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gvdel, The Emergence of Classical Logic, Logic and the Modalities in the Twentie
Author: Church, Alonzo (EDT)/ Zeleny, Michael (EDT)/ Anderson, C. Anthony (EDT)
Publisher : Springer
ISBN : 9781402001413
Author: Dawson, John W. Jr.
Publisher : Springer
ISBN : 9783211831953
Der Asterreichische Mathematiker Kurt GAdel (1906a 1978) ist einer der herausragendsten Logiker des 20. Jahrhunderts. Seine Resultate sind von allerhAchster Bedeutung fA1/4r die Mathematik, und zunehmend werden auch die Auswirkungen auf unser modernes Weltbild sichtbar. Mit dem Erscheinen von Douglas Hofstadters Buch GAdel, Escher, Bach wurde GAdels Werk einem breiten Publikum bekannt gemacht. Joh
Author:
Publisher : Springer
ISBN : 9783540513711
This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computabi
Author: Hofstadter, Douglas R.
Publisher : TusQuets
ISBN : 9788483830246
Author: Buzaglo, Meir
Publisher : Cambridge University Press
ISBN : 9780521041058
This innovative study offers stimulating discussions of the relation of conceptual expansion to truth, meaning, reference, ontology and paradox.
Author: Namboothiri, Rajeev
Publisher : VDM Verlag Dr. Mueller E.K.
ISBN : 9783836421973
Author:
Publisher : John Wiley & Sons
ISBN : 9780471060260
A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Using a strict mathematical approach, this is the only book avai
Logic in Theory and Practice
Author: Shaw, Charles Gray Publisher : Kessinger Publishing
ISBN : 9780548063439
Min Price: 32.00
Max Price: 32.00
Logic and Computational Complexity
Author: Publisher : Springer
ISBN : 9783540601784
This book contains revised versions of papers invited for presentation at the International Workshop on Logic and Computational Complexity, LCC '94, held in Indianapolis, IN in October 1994.The synergy between logic and computational complexity has gained importance and vigor in recent years, cutting across many areas. The 25 revised full papers in this book contributed by internationally outstand
Min Price: 121.00
Max Price: 121.00
Supererogation
Author: Heyd, DavidPublisher : Cambridge University Press
ISBN : 9780521109666
David Heyd''s study will stimulate philosophers to recognise the importance of the rather neglected topic of the distinctiveness of supererogation.
Min Price: 29.00
Max Price: 29.00
An Investigation of the Laws of Thought: On Which Are Founded the Mathematical Theories of Logic and Probabilities
Author: Boole, George Publisher : Kessinger Publishing
ISBN : 9781430488941
A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated algebraically.
Min Price: 22.00
Max Price: 22.00
Colours
Author: Maund, BarryPublisher : Cambridge University Press
ISBN : 9780521110129
This book defends the radical thesis that no physical object has any of the colours we experience it as having.
Min Price: 34.00
Max Price: 34.00
Gottlob Frege: Una Introduccion
Author: Stepanians, M. Publisher : College Publications
ISBN : 9781904987581
Min Price: 23.00
Max Price: 23.00
The Semantics and Proof Theory of the Logic of Bunched Implications
Author: Pym, David J. Publisher : Kluwer Academic Publishers
ISBN : 9781402007453
This monograph provides a thorough account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. Starting, on the one hand, from elementary observations about modelling resources and, on the other, from a desire to develop a system of logic within which
Min Price: 18.00
Max Price: 172.00
Mathematics of Program Construction
Author: Jacod, Jean ;Boiten, E. a. ;Moller, B. Publisher : Springer
ISBN : 9783540438571
Min Price: 86.00
Max Price: 86.00
Frontiers of Combining Systems
Author: Armando, A. Publisher : Springer
ISBN : 9783540433811
Min Price: 79.00
Max Price: 79.00
Quantum Theoretic Machines: What Is Thought from the Point of View of Physics?
Author: Stern, August ;Stern, A. Publisher : North-Holland
ISBN : 9780444826183
Making Sense of Inner Sense 'Terra cognita' is terra incognita. It is difficult to find someone not taken abackand fascinated by the incomprehensible but indisputable fact: there are material systems which are aware of themselves. Consciousness is self-cognizing code. During homo sapiens's relentness and often frustrated search for self-understanding various theories of consciousness have been and
Min Price: 213.00
Max Price: 213.00
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, Lisbon, Portugal, May 28-31, 2007 Proceedings
Author: Publisher : Springer
ISBN : 9783540727873
This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May 2007. The 22 revised full papers presented together with 12 revised short papers presented together with 2 invited talks were carefully selected from 74 submissions. All current research issues in propositional and quant
Min Price: 39.00
Max Price: 97.00
Constructivism in Math
Author: Van Dalen, D. ;Troelstra, Anne S. ;Troelstra Publisher : Elsevier Science & Technology
ISBN : 9780444705068
Min Price: 52.00
Max Price: 52.00
Greek, Indian and Arabic Logic
Author: Publisher : Unknown
ISBN : 9780444504661
Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gvdel, The Emergence of Classical Logic, Logic and the Modalities in the Twentie
Min Price: 204.00
Max Price: 204.00
Logic, Meaning and Computation
Author: Church, Alonzo (EDT)/ Zeleny, Michael (EDT)/ Anderson, C. Anthony (EDT)Publisher : Springer
ISBN : 9781402001413
Min Price: 7.00
Max Price: 291.00
Kurt G??del: Leben Und Werk
Author: Dawson, John W. Jr. Publisher : Springer
ISBN : 9783211831953
Der Asterreichische Mathematiker Kurt GAdel (1906a 1978) ist einer der herausragendsten Logiker des 20. Jahrhunderts. Seine Resultate sind von allerhAchster Bedeutung fA1/4r die Mathematik, und zunehmend werden auch die Auswirkungen auf unser modernes Weltbild sichtbar. Mit dem Erscheinen von Douglas Hofstadters Buch GAdel, Escher, Bach wurde GAdels Werk einem breiten Publikum bekannt gemacht. Joh
Min Price: 114.00
Max Price: 114.00
Automata, Languages and Programming: 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings
Author: Publisher : Springer
ISBN : 9783540513711
This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computabi
Min Price: 114.00
Max Price: 114.00
Godel, Escher, Bach: Un Eterno y Gracil Bucle / Godel, Escher, Bach
Author: Hofstadter, Douglas R. Publisher : TusQuets
ISBN : 9788483830246
Min Price: 14.00
Max Price: 14.00
The Logic of Concept Expansion
Author: Buzaglo, Meir Publisher : Cambridge University Press
ISBN : 9780521041058
This innovative study offers stimulating discussions of the relation of conceptual expansion to truth, meaning, reference, ontology and paradox.
Min Price: 37.00
Max Price: 37.00
Drayage Operations at Seaports
Author: Namboothiri, Rajeev Publisher : VDM Verlag Dr. Mueller E.K.
ISBN : 9783836421973
Min Price: 82.00
Max Price: 82.00
Logic of Mathematics
Author: Publisher : John Wiley & Sons
ISBN : 9780471060260
A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Using a strict mathematical approach, this is the only book avai
Min Price: 132.00
Max Price: 132.00
Find book
books-az.com all rights reserved
