Resultados de Pesquisa

INGLÊS

Computable Structure Theory - Beyond The Arithmetic

de Antonio (University Of California, Berkeley) Montalban

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

portes grátis

 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.
INGLÊS

Computable Structure Theory - Within The Arithmetic

de Antonio (University Of California, Berkeley) Montalban

154,11€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Computability In Analysis And Physics

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

163,58€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Higher Recursion Theory

de Gerald E. (Harvard University, Massachusetts) Sacks

193,32€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Metamathematics Of First-Order Arithmetic

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

214,95€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Essential Stability Theory

de Steven (University Of Notre Dame, Indiana) Buechler

190,61€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Proper And Improper Forcing

de Saharon (Hebrew University Of Jerusalem) Shelah

255,50€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Constructibility

de Keith J. (Lancaster University) Devlin

193,32€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Admissible Sets And Structures

de Jon (University Of Wisconsin, Madison) Barwise

190,61€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Model-Theoretic Logics

281,19€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Recursion-Theoretic Hierarchies

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

214,95€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

General Recursion Theory - An Axiomatic Approach

de Jens E. (Universitetet I Oslo) Fenstad

163,58€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Degrees Of Unsolvability - Local And Global Theory

de Manuel (University Of Connecticut) Lerman

163,58€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Fundamentals Of Stability Theory

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

214,95€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Pure Inductive Logic

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

190,61€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Applied Numerical Methods With Matlab

de Steven C. Chapra

60,76€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Proofs And Computations

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

106,80€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Lambda Calculus With Types

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

114,91€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Subsystems Of Second Order Arithmetic

de Stephen G. (Pennsylvania State University) Simpson

208,19€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

The Manse

de Meredith Resce

ESGOTADO OU NÃO DISPONÍVEL
INGLÊS

Eu External Relations Law - Text, Cases And Materials

de Bart Van Vooren e Professor Ramses Wessel

ESGOTADO OU NÃO DISPONÍVEL

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

Prego! An Invitation To Italian

de Graziana Lazzarino

ESGOTADO OU NÃO DISPONÍVEL

 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.

NÃO ENCONTROU O QUE PROCURA?

Faça consulta pelos temas do menu.

Consulte os critérios de pesquisa na ajuda .

E por fim, se necessário, utilize a opção procuramos por si .