Resultados de Pesquisa

INGLÊS

Set Theory - Boolean-Valued Models And Independence Proofs

de John L. Bell

47,69€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis and the axiom of choice.
INGLÊS

Fragments Of First-Order Logic

de Ian Pratt-Hartmann

119,24€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Pratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, he asks, if these problems are decidable for some fragment, what is their computational complexity?
INGLÊS

Fragments Of First-Order Logic

192,65€ + 10% EM CARTÃO

portes grátis

 Pratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, he asks, if these problems are decidable for some fragment, what is their computational complexity?
INGLÊS

Consequence Relations - An Introduction To The Lindenbaum-Tarski Method

de Alex Citkin e Alexei Muravitsky

88,76€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 An in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, intended for advanced undergraduate and graduate students in mathematics and philosophy, as well as researchers in the field of mathematical and philosophical logic.
INGLÊS

Consequence Relations - An Introduction To The Lindenbaum-Tarski Method

de Alex (Cio, Cio, Metropolitan Telecommunications, New York) Citkin

133,84€ + 10% EM CARTÃO

portes grátis

 An in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, intended for advanced undergraduate and graduate students in mathematics and philosophy, as well as researchers in the field of mathematical and philosophical logic.
INGLÊS

Twenty Five Years Of Constructive Type Theory

de Giovanni Sambin e Jan M. Smith

92,74€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.
INGLÊS

Godel'S Incompleteness Theorems

de Raymond M. Smullyan

271,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 An introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom of choice.
INGLÊS

Simplicity Theory

de Byunghan Kim

99,36€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 An up-to-date account of the current techniques and results in Simplicity Theory, which has been a focus of research in model theory for the last decade. Suitable for logicians, mathematicians and graduate students working on model theory.
INGLÊS

Computability And Randomness

de Andre Nies

56,96€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 A monograph on the interface of computational complexity and randomness of sets of natural numbers.
INGLÊS

Set Theory - Boolean-Valued Models And Independence Proofs

de John L. Bell

47,69€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis and the axiom of choice.
INGLÊS

Computability And Randomness

de Andre (, Senior Lecturer, Department Of Computer Science, The University Of Aukland) Nies

202,78€ + 10% EM CARTÃO

portes grátis

 A monograph on the interface of computational complexity and randomness of sets of natural numbers.
INGLÊS

Simplicity Theory

155,47€ + 10% EM CARTÃO

portes grátis

 An up-to-date account of the current techniques and results in Simplicity Theory, which has been a focus of research in model theory for the last decade. Suitable for logicians, mathematicians and graduate students working on model theory.
INGLÊS

Category Theory

de Steve (Carnegie Mellon University, Usa) Awodey

93,28€ + 10% EM CARTÃO

portes grátis

 A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises.
INGLÊS

Groups Of Finite Morley Rank

239,96€ + 10% EM CARTÃO

portes grátis

 'Oxford Logic Guide provides comprehensive coverage of a new research area in algebra and model theory. Model theoretical and group theoretical notions are explained in detail, and almost all the known results in the area are included. Aimed at the needs of the graduate student, there are many exercises (with hints) and carefully chosen examples.
INGLÊS

Deaf Around The World - The Impact Of Language

ESGOTADO OU NÃO DISPONÍVEL

 The articles in Deaf around the World offer an introduction to deaf studies and the study of signed languages.
INGLÊS

Kingdom Of The Lost Book 3: The Ice Maze

de Isobelle Carmody

ESGOTADO OU NÃO DISPONÍVEL
INGLÊS

Entrepreneurship Simplified - From Idea To Ipo

de S.R. Gopalan

17,96€

portes grátis

ESGOTADO OU NÃO DISPONÍVEL
INGLÊS

The Solar System For Smartypants

de Anushka Ravishankar; Ilustração: Pia Alize Hazarika

ESGOTADO OU NÃO DISPONÍVEL
INGLÊS

Photosynthesis For Smartypants

de Anushka Ravishankar; Ilustração: Pia Alize Hazarika

ESGOTADO OU NÃO DISPONÍVEL
INGLÊS

Resurgent India - The Economics Of Atmanirbhar Bharat

ESGOTADO OU NÃO DISPONÍVEL

 This book points out issues and lays out a roadmap of policy suggestions which warrant government focus and attention to make India into a self-reliant nation.
INGLÊS

Lets Go: 6: Skills Book

de Oxford Editor

ESGOTADO OU NÃO DISPONÍVEL

 Extra listening, reading and writing practice in one book. Listening comprehension practice in every lesson reinforces grammar and vocabulary patterns covered in the Student Book. Listening Practice CD allows practice in class or at home.
INGLÊS

Lets Go: 5: Skills Book

ESGOTADO OU NÃO DISPONÍVEL

 Extra listening, reading and writing practice in one book. Listening comprehension practice in every lesson reinforces grammar and vocabulary patterns covered in the Student Book. Listening Practice CD allows practice in class or at home.
INGLÊS

Lets Go: 4: Skills Book

ESGOTADO OU NÃO DISPONÍVEL

 Extra listening, reading and writing practice in one book. Listening comprehension practice in every lesson reinforces grammar and vocabulary patterns covered in the Student Book. Listening Practice CD allows practice in class or at home.
INGLÊS

Lets Go: 3: Skills Book

ESGOTADO OU NÃO DISPONÍVEL

 Extra listening, reading and writing practice in one book. Listening comprehension practice in every lesson reinforces grammar and vocabulary patterns covered in the Student Book. Listening Practice CD allows practice in class or at home.
A carregar resultados...

Ver mais resultados