Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


“jorg brendle”

Showing 1 - 12 of 12 results for “jorg brendle”
Skip side bar filters

  • Proceedings Of The 12th Asian Logic Conference

    by Rodney G Downey, Jorg Brendle, Robert Goldblatt, Byunghan Kim ...
    The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic. ... Read more

    $49.99 USD

People who read this also enjoyed

  • An Introduction to Category Theory

    by Harold Simmons ...
    Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a friendly, easy-to-read textbook that explains the fundamentals at a level suitable for newcomers to the subject. Beginning postgraduate mathematicians will find this book an excellent introduction to all ... Read more

    $43.99 USD

  • Lectures on the Curry-Howard Isomorphism

    by Morten Heine Sørensen, Pawel Urzyczyn ...
    Series Book 149 - Studies in Logic and the Foundations of Mathematics
    The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to ... Read more

    $152.99 USD

  • Beginning Julia Programming

    For Engineers and Scientists

    by Sandeep Nagar ...
    Series series Professional and Applied Computing (R0)
    Get started with Julia for engineering and numerical computing, especially data science, machine learning, and scientific computing applications. This book explains how Julia provides the functionality, ease-of-use and intuitive syntax of R, Python, MATLAB, SAS, or Stata combined with the speed, capacity, and performance of C, C++, or Java. You’ll learn the OOP principles required to get you ... Read more

    $71.99 USD

  • Fractals in Probability and Analysis

    by Christopher J. Bishop, Yuval Peres ...
    Series Book 162 - Cambridge Studies in Advanced Mathematics
    This is a mathematically rigorous introduction to fractals which emphasizes examples and fundamental ideas. Building up from basic techniques of geometric measure theory and probability, central topics such as Hausdorff dimension, self-similar sets and Brownian motion are introduced, as are more specialized topics, including Kakeya sets, capacity, percolation on trees and the traveling salesman ... Read more

    $77.99 USD

  • Concurrency, Security, and Puzzles

    Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

    Edited by Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić ...
    Series series Computer Science (R0)
    This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Roscoe is an international authority in process algebra, and has been the driving force behind the development of the FDR refinement checker for CSP. He is also world renowned for his pioneering work in ... Read more

    $49.99 USD

  • The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland

    by Roman Murawski ...
    Translated by Maria Kantor ...
    Series series Mathematics and Statistics (R0)
    The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and philosophers in the 1920s and 1930s. It was a remarkable period in the history of Polish science, in particular in the history of Polish logic and mathematics. Therefore, it is justified to ask whether and to what extent the development of ... Read more

    $49.49 USD

  • Handbook of Logic and Language

    Edited by Johan F.A.K. van Benthem, Alice ter Meulen ...
    The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts ... Read more

    $193.99 USD

  • Taylor Coefficients and Coefficient Multipliers of Hardy and Bergman-Type Spaces

    by Miroljub Jevtić, Dragan Vukotić, Miloš Arsenović ...
    Series series Mathematics and Statistics (R0)
    This book provides a systematic overview of the theory of Taylor coefficients of functions in some classical spaces of analytic functions and especially of the coefficient multipliers between spaces of Hardy type. Offering a comprehensive reference guide to the subject, it is the first of its kind in this area. After several introductory chapters covering the basic material, a large variety of ... Read more

    $107.99 USD

  • Type Systems for Distributed Programs: Components and Sessions

    by Ornela Dardha ...
    Series series Mathematics and Statistics (R0)
    In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties ... Read more

    $89.99 USD

  • Logic and Its Applications

    7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

    Edited by Sujata Ghosh, Sanjiva Prasad ...
    Series series Springer Nature Proceedings Computer Science
    This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the conference.The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. ... Read more

    $49.99 USD

  • Ramanujan Summation of Divergent Series

    by Bernard Candelpergher ...
    Series series Mathematics and Statistics (R0)
    The aim of this monograph is to give a detailed exposition of the summation method that Ramanujan uses in Chapter VI of his second Notebook. This method, presented by Ramanujan as an application of the Euler-MacLaurin formula, is here extended using a difference equation in a space of analytic functions. This provides simple proofs of theorems on the summation of some divergent series. Several ... Read more

    $53.99 USD