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...


Showing 1 - 12 of 12 results for “anil nerode”
Skip side bar filters

  • Algebraic Curves and Riemann Surfaces for Undergraduates

    The Theory of the Donut

    by Anil Nerode, Noam Greenberg ...
    Series series Mathematics and Statistics (R0)
    The theory relating algebraic curves and Riemann surfaces exhibits the unity of mathematics: topology, complex analysis, algebra and geometry all interact in a deep way. This textbook offers an elementary introduction to this beautiful theory for an undergraduate audience.At the heart of the subject is the theory of elliptic functions and elliptic curves. A complex torus (or “donut”) is both an ... Read more

    $53.99 USD

  • Logical Foundations of Computer Science

    International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

    Edited by Sergei Artemov, Anil Nerode ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022.The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Read more

    $76.49 USD

  • Logical Foundations of Computer Science

    International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

    Edited by Sergei Artemov, Anil Nerode ...
    Series series Springer Nature Proceedings excluding Computer Science
    This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Read more

    $49.99 USD

  • Logical Foundations of Computer Science

    International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

    Edited by Sergei Artemov, Anil Nerode ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA in January 2016. The 27 revised full papers were carefully reviewed and selected from 46 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Read more

    $49.49 USD

  • Logical Foundations of Computer Science

    International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

    Edited by Sergei Artemov, Anil Nerode ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Read more

    $49.99 USD

People who read these also enjoyed

  • Elliptic Tales

    Curves, Counting, and Number Theory

    by Avner Ash, Robert Gross ...
    A look at one of the most exciting unsolved problems in mathematics todayElliptic Tales describes the latest developments in number theory by looking at one of the most exciting unsolved problems in contemporary mathematics—the Birch and Swinnerton-Dyer Conjecture. In this book, Avner Ash and Robert Gross guide readers through the mathematics they need to understand this captivating problem.The ... Read more

    $13.99 USD

  • Computability Theory

    An Introduction to Recursion Theory

    by Herbert B. Enderton ...
    Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion ... Read more

    $56.69 USD

  • Beginner's Further Guide To Mathematical Logic, A

    by Raymond M Smullyan ...
    'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on ... Read more

    $18.09 USD

  • Schaum's Outline of Linear Algebra, Sixth Edition

    by Seymour Lipschutz, Marc Lipson ...
    Tough Test Questions? Missed Lectures? Not Enough Time? Textbook too Pricey?Fortunately, there's Schaum's. This all-in-one-package includes more than 600 fully-solved problems, examples, and practice exercises to sharpen your problem-solving skills. Plus, you will have access to 25 detailed videos featuring math instructors who explain how to solve the most commonly tested problems--it's just like ... Read more

    $16.89 USD

  • Understanding Minimalism

    by Norbert Hornstein, Jairo Nunes, Kleanthes K. Grohmann ...
    Series series Cambridge Textbooks in Linguistics
    Understanding Minimalism, first published in 2005, is an introduction to the Minimalist Program - the model of syntactic theory within generative linguistics. Accessibly written, it presents the basic principles and techniques of the minimalist program, looking firstly at analyses within Government and Binding Theory (the Minimalist Program's predecessor), and gradually introducing minimalist ... Read more

    $66.49 USD

  • Foundations of Software Science and Computation Structures

    21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

    Edited by Christel Baier, Ugo Dal Lago ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions ... Read more

    Free

  • Lambda Calculus with Types

    by Henk Barendregt, Wil Dekkers, Richard Statman ...
    Series series Perspectives in Logic
    This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types ... Read more

    $89.39 USD