Rakuten Kobo

Shopping Cart

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

- Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Get 1 credit every month for the audiobook of your choice
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  Audiobook
  by ,
  
  Available:
  
  . No commitment, cancel anytime at kobo.com/account/subscriptions.
  
  Pre-order
  1 audiobook monthly
  
  + FREE 30-day trial
  
  Special Offer
  
  Get 1 credit every month to exchange for an audiobook of your choice
  
  *No commitment, cancel anytime
  
  FREE

itemsitem

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions

Get 1 credit every month for the audiobook of your choice

No commitment, cancel anytime at kobo.com/account/subscriptions

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions
Audiobook
by ,

Available:
. No commitment, cancel anytime at kobo.com/account/subscriptions.

Pre-order
1 audiobook monthly

+ FREE 30-day trial

Special Offer

Get 1 credit every month to exchange for an audiobook of your choice

*No commitment, cancel anytime

FREE

Recommended For You

Skip side bar filters

Logic Colloquium '02

Lecture Notes in Logic 27

Edited by Peter Koepke, Wolfram Pohlers, Zoé Chatzidakis ...

Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and researchers in the field of mathematical logic. ... Read more

$68.99 USD

Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and researchers in the field of mathematical logic.
... Read more

Generative Grammar

Theory and its History

by Robert Freidin ...

Series series Routledge Leading Linguists
Generative Grammar presents a substantial contribution to the field of linguistics in drawing together for the first time the author's most significant work on the theory of generative grammar.The essays collected here display Freidin's role in moving the theory forward in terms of new proposals, and analyse the efforts to understand the evolution and history of the theory by careful investigation ... Read more

$68.99 USD

Generative Grammar presents a substantial contribution to the field of linguistics in drawing together for the first time the author's most significant work on the theory of generative grammar.The essays collected here display Freidin's role in moving the theory forward in terms of new proposals, and analyse the efforts to understand the evolution and history of the theory by careful investigation
... Read more
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

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
Certain Number-Theoretic Episodes In Algebra, Second Edition

by R Sivaramakrishnan ...

The book attempts to point out the interconnections between number theory and algebra with a view to making a student understand certain basic concepts in the two areas forming the subject-matter of the book. ... Read more

$254.99 USD

The book attempts to point out the interconnections between number theory and algebra with a view to making a student understand certain basic concepts in the two areas forming the subject-matter of the book.
... Read more
Foundations of Software Science and Computation Structures

22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Edited by Mikołaj Bojańczyk, Alex Simpson ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from ... Read more

Free

This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from
... Read more
An Introduction to Substructural Logics

by Greg Restall ...

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. An Introduction to Substrucural Logics is the first book to systematically survey the new results and the significant impact that this class of logics has had on a ... Read more

$58.99 USD

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. An Introduction to Substrucural Logics is the first book to systematically survey the new results and the significant impact that this class of logics has had on a
... Read more
Representations of the Infinite Symmetric Group

by Alexei Borodin, Grigori Olshanski ...

Series Book 160 - Cambridge Studies in Advanced Mathematics
Representation theory of big groups is an important and quickly developing part of modern mathematics, giving rise to a variety of important applications in probability and mathematical physics. This book provides the first concise and self-contained introduction to the theory on the simplest yet very nontrivial example of the infinite symmetric group, focusing on its deep connections to ... Read more

$69.69 USD

Representation theory of big groups is an important and quickly developing part of modern mathematics, giving rise to a variety of important applications in probability and mathematical physics. This book provides the first concise and self-contained introduction to the theory on the simplest yet very nontrivial example of the infinite symmetric group, focusing on its deep connections to
... Read more
Logic and Algebra

Edited by Aldo Ursini ...

Series series Lecture Notes in Pure and Applied Mathematics
""Attempts to unite the fields of mathematical logic and general algebra. Presents a collection of refereed papers inspired by the International Conference on Logic and Algebra held in Siena, Italy, in honor of the late Italian mathematician Roberto Magari, a leading force in the blossoming of research in mathematical logic in Italy since the 1960s. ... Read more

$385.00 USD

""Attempts to unite the fields of mathematical logic and general algebra. Presents a collection of refereed papers inspired by the International Conference on Logic and Algebra held in Siena, Italy, in honor of the late Italian mathematician Roberto Magari, a leading force in the blossoming of research in mathematical logic in Italy since the 1960s.
... Read more
A First Course in Computational Algebraic Geometry

by Wolfram Decker, Gerhard Pfister ...

Series series AIMS Library of Mathematical Sciences
A First Course in Computational Algebraic Geometry is designed for young students with some background in algebra who wish to perform their first experiments in computational geometry. Originating from a course taught at the African Institute for Mathematical Sciences, the book gives a compact presentation of the basic theory, with particular emphasis on explicit computational examples using the ... Read more

$18.89 USD

A First Course in Computational Algebraic Geometry is designed for young students with some background in algebra who wish to perform their first experiments in computational geometry. Originating from a course taught at the African Institute for Mathematical Sciences, the book gives a compact presentation of the basic theory, with particular emphasis on explicit computational examples using the
... Read more
Incidence Algebras

by Eugene Spiegel, Christopher J. O'Donnell ...

Series series Chapman & Hall/CRC Pure and Applied Mathematics
This work covers the maximal and prime ideals of the incidence algebra, derivations and isomorphisms, radicals and additional ring-theoretic properties. Combinatorial discussions include a study of the Mobius function, reduced incidence subalgebras, and the coalgebra approach to incidence algebras. ... Read more

$244.99 USD

This work covers the maximal and prime ideals of the incidence algebra, derivations and isomorphisms, radicals and additional ring-theoretic properties. Combinatorial discussions include a study of the Mobius function, reduced incidence subalgebras, and the coalgebra approach to incidence algebras.
... Read more
The Elements of Advanced Mathematics

by Steven G. Krantz ...

Series series Textbooks in Mathematics
This book has enjoyed considerable use and appreciation during its first four editions. With hundreds of students having learned out of early editions, the author continues to find ways to modernize and maintain a unique presentation.What sets the book apart is the excellent writing style, exposition, and unique and thorough sets of exercises. This edition offers a more instructive preface to ... Read more

$84.99 USD

This book has enjoyed considerable use and appreciation during its first four editions. With hundreds of students having learned out of early editions, the author continues to find ways to modernize and maintain a unique presentation.What sets the book apart is the excellent writing style, exposition, and unique and thorough sets of exercises. This edition offers a more instructive preface to
... Read more
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.49 USD

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

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

“wolfram pohlers”

Logic Colloquium '02

People who read this also enjoyed

Generative Grammar

Lambda Calculus with Types

Certain Number-Theoretic Episodes In Algebra, Second Edition

Foundations of Software Science and Computation Structures

An Introduction to Substructural Logics

Representations of the Infinite Symmetric Group

Logic and Algebra

A First Course in Computational Algebraic Geometry

Incidence Algebras

The Elements of Advanced Mathematics

Logical Foundations of Computer Science

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

“wolfram pohlers”

Show:

People who read this also enjoyed