Ricerca Veloce:

Ricerca Avanzata

Reparti Libri Inglesi

Logic

Abstract Computing Machines: A Lambda Calculus Perspective
di Werner Kluge, W. Kluge - Springer
€ 100.89
The book emphasizes the design of full-fledged, fully normalizing lambda calculusmachinery, as opposed to the just weakly normalizing...
Logic Colloquium '01: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Vienna, Austria, Augu
AK Peters
€ 68.31

Logic Colloquium '01: Lecture Notes in Logic, 20
AK Peters
€ 39.11
Lattices and Ordered Algebraic Structures
di T. S. Blyth - Springer
€ 74.12

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Springer
€ 91.56
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book...
Languages and Machines: An Introduction to the Theory of Computer Science
di Thomas A. Sudkamp - Addison Wesley Publishing Company
€ 115.25
The third edition of "Languages and Machines: An Introduction to the Theory of Computer Science "provides readers with a mathematically...

Developments in Language Theory: 8th International Conference, Dlt 2004, Auckland, New Zealand, December 13-17, Proceedings
Springer
€ 72.50
This book constitutes the refereed proceedings of the 8th International Conference on Developments in Language Theory, DLT 2004, held in...
The Logic of Logistics: Theory, Algorithms, and Applications for Logistics and Supply Chain Management
di David Simchi-Levi, Julien Bramel, Xin Chen - Springer
€ 74.35
Fierce competition in today's global market provides a powerful motivation for developing ever more sophisticated logistics systems. This...

Essays in Constructive Mathematics
di Harold M. Edwards - Springer Science+Business Media
€ 83.09
This book aims to promote constructive mathematics not by defining it or formalizing it but by practicing it. This means that its...
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
di Shawn Hedman - Oxford University Press, USA
€ 173.79
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic...

Logic Colloquium '99: Lecture Notes in Logic 17
AK Peters
€ 70.34
Logic Colloquium '99: Lecture Notes in Logic 17
AK Peters
€ 40.95

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
di David J. Pym, Eike Ritter - Oxford University Press, USA
€ 167.22
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search...
A Modern Perspective on Type Theory: From Its Origins Until Today
di Fairouz D. Kamareddine, Twan Laan, Rob Nederpelt - Springer
€ 200.81

A Profile of Mathematical Logic
di Howard DeLong - Dover Publications
€ 16.67 € 14.17
This text explores the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic, the nature of the formal...
Basic Concepts of Mathematics and Logic
di Michael C. Gemignani - Dover Publications
€ 13.42 € 11.41
This text emphasizes logic and the theory of sets. Students who take no further courses in the field will find it an excellent resource for...

Fuzzy Logic in Management
di Christer Carlsson, Robert Fuller, C. Carlsson - Springer
€ 136.98
This book shows how the application of fuzzy logic can benefit management, group decision making, strategic planning, supply chain...
Einfa1/4hrung in Die Mengenlehre: Die Mengenlehre Georg Cantors Und Ihre Axiomatisierung Durch Ernst Zermelo
di Oliver Deiser - Springer
€ 36.74

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Rev
Springer
€ 75.57
This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Theory and Applications of...
The Birth of Model Theory: L Wenheim's Theorem in the Frame of the Theory of Relatives
di Calixto Badesa - Princeton University Press
€ 72.40
"A first-rate contribution to the history and philosophy of logic, this is scholarship at its best. It is, to my knowledge, the first book...

Thirty Five Years of Automating Mathematics
di Fairouz Kamareddine - Springer
€ 127.07
N.G. de Bruijn was a well established mathematician beforedeciding in 1967 at the age of 49 to work on a new direction relatedto Automating...
Gnomes in the Fog: The Reception of Brouwer's Intuitionism in the 1920s
di Dennis E. Hesseling, D. Hesseling - Birkhauser Basel
€ 155.73
The significance of foundational debate in mathematics that took place in the 1920s seems to have been recognized only in circles of...

< Indietro111213141516171819202122232425262728293031Avanti >

Ultimi prodotti visti

Bookman's Price Index: A Guide to the Values of Rare & Other Out-Of-Print Books
Gale Cengage
€ 689.55
Booklover's Book of Jokes, Quips & Quotes
British Library
€ 10.70 € 9.09
Bookkeeping Workbook for Dummies
di Lita Epstein - For Dummies
€ 17.27 € 14.68
Bookkeeping Kit for Dummies [With CDROM]
di Lita Epstein - For Dummies
€ 28.80 € 24.48
Bookkeeping for Nonprofits: A Step-By-Step Guide to Nonprofit Accounting
di Murray Dropkin, James Halpin - Jossey-Bass
€ 32.74
Bookkeeping for Dummies
di Lita Epstein - For Dummies
€ 17.29 € 14.70