Search Results

ENGLISH

Computable Structure Theory - Beyond The Arithmetic

by Antonio (University Of California, Berkeley) Montalban

~~155,47€~~ 139,92€ 10% OFF

free shipping

 Computable structure theory studies the relative complexity of mathematical structures. This monograph examines structures whose complexity cannot be analyzed using the arithmetic hierarchy. Aimed at graduate students and researchers in mathematical logic, it brings the main results and techniques in the field together into a coherent framework.
ENGLISH

Computable Structure Theory - Within The Arithmetic

by Antonio (University Of California, Berkeley) Montalban

154,11€ + 10% CARD

free shipping

 Computable structure theory studies the relative complexity of mathematical structures. Written by a contemporary expert, this is the first full monograph on the subject in 20 years. Aimed at graduate students and researchers in mathematical logic, it brings the main results and techniques in the field together into a coherent framework.
ENGLISH

Computability In Analysis And Physics

by J. Ian (University Of Minnesota) Richards e Marian B. (University Of Minnesota) Pour-El

163,58€ + 10% CARD

free shipping

 This is the first graduate-level treatment of computable analysis within the tradition of classical mathematical reasoning. The authors are concerned with the computability or noncomputability of standard processes in analysis and physics. The book is self-contained and serves well as an introduction to research in this area.
ENGLISH

Higher Recursion Theory

by Gerald E. (Harvard University, Massachusetts) Sacks

193,32€ + 10% CARD

free shipping

 This introduction to higher recursion theory is essential reading for all researchers in the field. It is divided into four parts: hyperarithmetic sets, metarecursion, a-recursion, and E-recursion.
ENGLISH

Metamathematics Of First-Order Arithmetic

by Pavel (Academy Of Sciences Of The Czech Republic, Prague) Pudlak e Petr (Academy Of Sciences Of The Czech Republic, Prague) Hajek

214,95€ + 10% CARD

free shipping

 This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.
ENGLISH

Essential Stability Theory

by Steven (University Of Notre Dame, Indiana) Buechler

190,61€ + 10% CARD

free shipping

 This volume bridges the gap between a first-year graduate logic course and research papers in stability theory. It prepares the student for research in any of today's branches of stability theory, and gives an introduction to classification theory with an exposition of Morley's Categoricity Theorem.
ENGLISH

Proper And Improper Forcing

by Saharon (Hebrew University Of Jerusalem) Shelah

255,50€ + 10% CARD

free shipping

 The author gives a complete presentation of the theory of proper forcing and its relatives, starting from the beginning. No prior knowledge of forcing is required.
ENGLISH

Constructibility

by Keith J. (Lancaster University) Devlin

193,32€ + 10% CARD

free shipping

 This comprehensive account of the theory of constructible sets at an advanced level provides complete coverage of constructibility theory, rather than its many and diverse applications. However, applications are used to motivate and illustrate the theory.
ENGLISH

Admissible Sets And Structures

by Jon (University Of Wisconsin, Madison) Barwise

190,61€ + 10% CARD

free shipping

 Admissible set theory is a major source of interaction between model theory, recursion theory and set theory. This volume presents the basic facts about admissible sets and admissible ordinals in a way that makes them accessible to logic students and specialists alike.
ENGLISH

Model-Theoretic Logics

281,19€ + 10% CARD

free shipping

 In this volume the authors bring together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers on advanced topics in model theory. Many chapters can be read independently.
ENGLISH

Recursion-Theoretic Hierarchies

by Peter G. (University Of Michigan, Ann Arbor) Hinman

214,95€ + 10% CARD

free shipping

 The theory set out in this volume is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. The author develops a general theory from which the results of both areas can be derived, making the common themes clear.
ENGLISH

General Recursion Theory - An Axiomatic Approach

by Jens E. (Universitetet I Oslo) Fenstad

163,58€ + 10% CARD

free shipping

 This volume presents a unified and coherent account of general recursion theory. The main core of the book gives an account of the general theory of computations, then the author moves on to show how computation theories connect and unify other parts of recursion theory.
ENGLISH

Degrees Of Unsolvability - Local And Global Theory

by Manuel (University Of Connecticut) Lerman

163,58€ + 10% CARD

free shipping

 This volume presents a systematic study of the interaction between local and global degree theory. It introduces the reader to the fascinating combinatorial methods of recursion theory while simultaneously showing how to use these methods to prove global theorems about degrees.
ENGLISH

Fundamentals Of Stability Theory

by John T. (University Of Illinois, Chicago) Baldwin

214,95€ + 10% CARD

free shipping

 This introduction to first order stability theory, organized around the spectrum problem, contains the first publication of complete proofs of the Vaught conjecture for ?-stable theories and Shelah's infamous example showing the necessity of his methods to solve the conjecture.
ENGLISH

Pure Inductive Logic

by Alena (University Of Manchester) Vencovska e Jeffrey (University Of Manchester) Paris

190,61€ + 10% CARD

free shipping

 This book establishes pure inductive logic as a contemporary branch of mathematical logic. Collecting together research from a wide range of sources within one unified context, it provides both a comprehensive account of the subject up to cutting-edge modern research, and an accessible reference for the philosopher or computer scientist.
ENGLISH

Applied Numerical Methods With Matlab

by Steven C. Chapra

60,76€ + 10% CARD

free shipping

 Suitable for engineering and science students who need to learn numerical problem solving, this book introduces theory to inform key concepts which are framed in applications and demonstrated using MATLAB. It features chapters on Eigenvalues and Fourier Analysis and is accompanied by a set of m-files and instructor materials.
ENGLISH

Proofs And Computations

by Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg e Stanley S. (University Of Leeds) Wainer

106,80€ + 10% CARD

free shipping

 Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of proof theory in both classical and constructive arithmetics, up to finitely iterated inductive definitions. Deep connections with computability, complexity and program extraction form the principal themes.
ENGLISH

Lambda Calculus With Types

by Henk (Radboud Universiteit Nijmegen) Barendregt, Richard Statman e Wil (Radboud Universiteit Nijmegen) Dekkers

114,91€ + 10% CARD

free shipping

 Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types, recursive types and intersection types. Numerous exercises are provided.
ENGLISH

Subsystems Of Second Order Arithmetic

by Stephen G. (Pennsylvania State University) Simpson

208,19€ + 10% CARD

free shipping

 What are the appropriate axioms for mathematics? Through a series of case studies, this volume examines these axioms to prove particular theorems in core areas including algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics.
ENGLISH

The Manse

by Meredith Resce

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

Eu External Relations Law - Text, Cases And Materials

by Bart Van Vooren e Professor Ramses Wessel

OUT OF STOCK OR NOT AVAILABLE

 Combining in-depth legal discussions with novel structuring elements ensures accessibility to students, academics and practitioners of EU external relations law.
ENGLISH

Prego! An Invitation To Italian

by Graziana Lazzarino

OUT OF STOCK OR NOT AVAILABLE

 Includes significant revisions to adapt Prego! to the changing needs of your students. This title features strong foundation of vocabulary and grammar presentations unique to Prego along with communicative activities and expanded cultural material to help students develop language proficiency.

DIDN'T FIND WHAT YOU'RE LOOKING FOR?

Browse by the menu categories.

Check the search criteria in help .

Finally, if needed, use the we'll search for you .