Mathematical Logic
"The Notre Dame Lectures"
|
Retail £39.95 GBP
£35.96 Save 10%
|
|
Retail $79.90 USD
$71.92 Save 10%
|
|
|
Click to enlarge
Double-click to reduce
|
"Lecture Notes in Logic" series; The Notre Dame logic community hosted Greg Hjorth, Rodney G. Downey, Zoe Chatzidakis, and Paola D'Aquino as visiting lecturers. Each of them presented a month-long series of expository lectures at the graduate lecture. The articles in this volume are refinements of these lectures. With illustrations. Hardback, 200 pages. Weight: 381g.
Author: (Cholak, Peter, ed.)
ISBN: 1568812493
Publisher: A K Peters
Date: 2005 (United States)
Readership: Professional & Vocational Mathematical Logic
|
"The Notre Dame Lectures"
|
Retail £32.50 GBP
£29.25 Save 10%
|
|
|
Retail $65.00 USD
$58.50 Save 10%
|
|
|
|
Click to enlarge
Double-click to reduce
|
"Lecture Notes in Logic" series; The Notre Dame logic community hosted Greg Hjorth, Rodney G. Downey, Zoe Chatzidakis, and Paola D'Aquino as visiting lecturers. Each of them presented a month-long series of expository lectures at the graduate lecture. The articles in this volume are refinements of these lectures. With illustrations. Paperback, 200 pages. Weight: 282g.
Author: (Cholak, Peter, ed.)
ISBN: 1568812507
Publisher: A K Peters
Date: 2005 (United States)
Readership: General (Us: Trade) Mathematical Logic
|
"Theoretical and Experimental Dna Computation"
|
Retail £34.50 GBP
£29.33 Save 15%
|
|
|
Retail $69.00 USD
$58.66 Save 15%
|
|
|
|
Click to enlarge
Double-click to reduce
|
"Natural Computing Series" series; Amos provides a broad overview of the entire field of DNA computation, tracing its history and development. He gives detailed descriptions of all major theoretical models and experimental results to date and discusses potential future developments. Amos concludes by outlining the challenges currently faced by researchers in the field. With 78 illus.. Hardback, 185 pages. Size: 230 x 164 mm. Weight: 408g.
Author: Amos, Martyn
ISBN: 3540657738
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Date: 2003 (Germany)
Readership: Professional & Vocational Mathematical Logic
|
"Constraint Logic Programming Using Eclipse"
|
Retail £35.00 GBP
£31.50 Save 10%
|
|
|
Retail $70.00 USD
$63.00 Save 10%
|
|
|
|
Click to enlarge
Double-click to reduce
|
This textbook offers an introduction to the Eclipse system and a guide to problem-solving for students and practitioners alike. With 6 tables 49 exercises. Hardback, 348 pages. Size: 253 x 178 mm. Weight: 788g.
Author: Apt, K. Wallace, M.G.
ISBN: 0521866286
Publisher: Cambridge University Press
Date: 2006 (United Kingdom)
Readership: Professional & Vocational Mathematical Logic
|
"The Equations"Icons of Knowledge
|
Retail £12.95 GBP
£11.01 Save 15%
|
|
|
Retail $25.90 USD
$22.02 Save 15%
|
|
|
|
Click to enlarge
Double-click to reduce
|
In this beautifully designed book, the equations that govern our world unfold in all their formal grace--and their deeper meaning as core symbols of our civilization. The renowned Dutch physicist Sander Bais has produced a book that delves into the details of seventeen equations that form the very basis of what we know of the universe today. With 16 colour line illustrations. Hardback, 96 pages. Size: 196 x 180 mm. Weight: 372g.
Author: Bais, Sander
ISBN: 0674019679
Publisher: Harvard University Press
Date: 2005 (United States)
Readership: Professional & Vocational Mathematical Logic
|
"Mathematical Logic for Computer Science"
|
Retail £35.99 GBP
£30.59 Save 15%
|
|
|
Retail $71.98 USD
$61.18 Save 15%
|
|
|
|
Click to enlarge
Double-click to reduce
|
Including theorems and proofs, this book presents logical systems such as Propositional calculus; Predicate calculus; Resolution; Hoare logic; Z; and, Temporal logic. With 1. 2 rev ed. Paperback, 318 pages. Size: 234 x 156 mm. Weight: 476g.
Author: Ben-Ari, M.
ISBN: 1852333197
Publisher: Springer London Ltd
Date: 2008 (United Kingdom)
Readership: Professional & Vocational Mathematical Logic
|
"An Introduction to Many-Valued and Fuzzy Logic"Semantics, Algebras, and Derivation Systems
|
Retail £20.99 GBP
£18.89 Save 10%
|
|
|
Retail $41.98 USD
$37.78 Save 10%
|
|
|
|
Click to enlarge
Double-click to reduce
|
An accessible introduction to many-valued and fuzzy logic designed for undergraduate and graduate students. With illustrations. Paperback, 342 pages. Size: 253 x 177 mm. Weight: 600g.
Author: Bergmann, Merrie
ISBN: 0521707579
Publisher: Cambridge University Press
Date: 2008 (United States)
Readership: Professional & Vocational Mathematical Logic
|
"Interactive Theorem Proving and Program Development"Coq'Art: the Calculus of Inductive Constructions
|
Retail £52.99 GBP
£45.05 Save 15%
|
|
|
Retail $105.98 USD
$90.10 Save 15%
|
|
|
|
Click to enlarge
Double-click to reduce
|
"Texts in Theoretical Computer Science: an Eatcs Series" series; Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. It includes a collection of examples and exercises. Revised & enlarged. Hardback, 494 pages. Size: 238 x 164 mm. Weight: 188g.
Author: Bertot, Yves Casteran, Pierre
ISBN: 3540208542
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Date: 2004 (Germany)
Readership: Professional & Vocational Mathematical Logic
|
"Theorie Des Ensembles"
|
Retail £37.99 GBP
£32.29 Save 15%
|
|
|
Retail $75.98 USD
$64.58 Save 15%
|
|
|
|
Click to enlarge
Double-click to reduce
|
Reimpression inchangee de l'edition de 1970. Paperback, 360 pages. Size: 234 x 156 mm. Weight: 543g.
Author: Bourbaki, N.
ISBN: 3540340343
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Date: 2006 (Germany)
Readership: Tertiary Education Mathematical Logic
|
"Completeness and Reduction in Algebraic Complexity Theory"
|
Retail £65.50 GBP
£55.68 Save 15%
|
|
|
Retail $131.00 USD
$111.36 Save 15%
|
|
|
|
Click to enlarge
Double-click to reduce
|
"Algorithms and Computation in Mathematics" series; Burgisser, a top expert on algebraic complexity theory, has written a monograph on current research in this field. This book gives new results in the theory of NP-completeness. It is written for mathematicians and computer scientists on both research and graduate level. With 16 figs.. Hardback, 180 pages. Size: 229 x 152 mm. Weight: 431g.
Author: Burgisser, P.
ISBN: 3540667520
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Date: 2000 (Germany)
Readership: Professional & Vocational Mathematical Logic
|
"Algebraic Complexity Theory"
|
Retail £92.50 GBP
£78.63 Save 15%
|
|
|
Retail $185.00 USD
$157.26 Save 15%
|
|
|
|
Click to enlarge
Double-click to reduce
|
"Grundlehren Der Mathematischen Wissenschaften" series; Assuming a basic understanding of algebra, this text includes 350 exercises divided into 21 chapters. It aims to enable the reader to quickly familiarize themselves with the topic. With 21 figs.. Hardback, 641 pages. Size: 234 x 156 mm. Weight: 1043g.
Author: Burgisser, P. Clausen, Michael Shokrollahi, Mohammad A.
ISBN: 3540605827
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Date: 1996 (Germany)
Readership: Professional & Vocational Mathematical Logic
|
"Sets, Logic and Categories"
|
Retail £18.95 GBP
£16.11 Save 15%
|
|
|
Retail $37.90 USD
$32.22 Save 15%
|
|
|
|
Click to enlarge
Double-click to reduce
|
"Springer Undergraduate Mathematics" series; Sets, the toolbox for making mathematical models, logic, which tests conclusions, and category theory, the study of functions which preserve some structure on a set together provide the basis for computational science. This self-study guide to all three theories contains many examples. With references, index. Paperback, 192 pages. Size: 240 x 170 mm. Weight: 326g.
Author: Cameron, Peter J.
ISBN: 1852330562
Publisher: Springer London Ltd
Date: 1999 (United Kingdom)
Readership: Undergraduate Mathematical Logic
|
"Introduction to Mathematical Logic"
|
Retail £35.95 GBP
£28.76 Save 20%
|
|
|
Retail $71.90 USD
$57.52 Save 20%
|
|
|
|
Click to enlarge
Double-click to reduce
|
"Annals of Mathematics Studies" series; Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church's contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic. New ed. Paperback, 392 pages. Size: 229 x 152 mm. Weight: 542g.
Author: Church, Alonzo
ISBN: 0691029067
Publisher: University Presses of California, Columbia and Princeton
Date: 1996 (United States)
Readership: Professional & Vocational Mathematical Logic
|
"Mathematical Logic Propositional Calculus, Booelan Algebras, Predicate Calculus, Completeness Theorems"A Course With Exercises
|
Retail £42.00 GBP
£37.80 Save 10%
|
|
|
Retail $84.00 USD
$75.60 Save 10%
|
|
|
|
Click to enlarge
Double-click to reduce
|
Pelletier, Donald (trans.) The requirement to reason logically forms the basis of all mathematics, and hence mathematical logic is one of the most fundamental topics that students study. Assuming no prior knowledge of the topic, this book provides an introduction for advanced undergraduate students. The concept of model underlies the text, giving it a theoretical coherence. With notes, bibliography, index. Paperback, 358 pages. Size: 234 x 156 mm. Weight: 515g.
Author: Cori, Rene Lascar, D.
ISBN: 0198500483
Publisher: Oxford University Press
Date: 2000 (United Kingdom)
Readership: Tertiary Education (Us: College) Mathematical Logic (Pt.1)
|
"Mathematical Logic Recursion Theory, Godel's Theorem, Set Theory and Model Theory"A Course With Exercises
|
Retail £38.00 GBP
£34.20 Save 10%
|
|
|
Retail $76.00 USD
$68.40 Save 10%
|
|
|
|
Click to enlarge
Double-click to reduce
|
Pelletier, Donald (trans.) The requirement to reason logically forms the basis of all mathematics, and hence mathematical logic is one of the most fundamental topics that students study. Assuming no prior knowledge of the topic, this book provides an introduction for advanced undergraduate students. The concept of model underlies the text, giving it a theoretical coherence. Paperback, 352 pages. Size: 234 x 156 mm. Weight: 506g.
Author: Cori, Rene Lascar, D.
ISBN: 0198500505
Publisher: Oxford University Press
Date: 2001 (United Kingdom)
Readership: Tertiary Education (Us: College) Mathematical Logic (Pt.2)
|
|
Your Basket
Site Map
Help
