Ceny a dostupnost se mohou měnit i několikrát za den. Zkontrolujte si aktuální údaje přímo v e-shopech. Všechny dostupné barvy a velikosti naleznete přímo v e-shopech.
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The firsthalf covers topics in structural proof theory, including the Gdel-Gentzen translation of classical into intuitionistic logic (and arithmetic), natural deduction and the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and variousapplications of these results. The second half examines ordinal proof theory, specifically Gentzen's consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The firsthalf
Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing. The book first tackles the foundations of set theory
An introduction to writing proofs, presented through compelling mathematical statements with interesting elementary proofs. This book offers an introduction to the art and craft of proof-writing. The author, a leading research mathematician, presents a series of engaging and compelling mathematical
Demystifying the subject with clarity and verve, History: An Introduction to Theory, Method and Practice familiarizes the reader with the varied spectrum of historical approaches in a balanced, comprehensive and engaging manner. Global in scope, and covering a wide range of topics from the ancient
Theory/Theatre is a unique and highly engaging introduction to literary theory as it relates to theatre and performance. It is a brilliantly clear and readable examination of current theoretical approaches, from semiotics and poststructuralism, through cultural materialism, postcolonial studies and
Managing Criminal Justice Organizations: An Introduction to Theory and Practice, 3rd Edition, covers the formal and informal nature of the organizations involved in criminal justice. Kania and Davis provide an introduction to the administration, organization, and management of criminal justice
Family Therapy: An Introduction to Process, Practice and Theory is a primer for students, professionals, and trainees to understand how family therapists conceptualize the problems people bring to therapy, utilize basic therapeutic skills to engage clients in the therapeutic process, and navigate
An Introduction to Narratology is an accessible, practical guide to narratological theory and terminology and its application to literature. In this book, Monika Fludernik outlines: the key concepts of style, metaphor and metonymy, and the history of narrative forms narratological approaches
Now revised and updated, this introduction to decision theory is both accessible and comprehensive, covering topics including decision making under ignorance and risk, the foundations of utility theory, the debate over subjective and objective probability, Bayesianism, causal decision theory, game
A lively and accessible introduction to themes and debates in archaeological theory for students of all levels Archaeological Theory is a relatable, accessible, reader-friendly first step into the world of theory for archaeology students. Recognizing that many students shy away from the study of
This book provides a comprehensive and up-to-date introduction to criminological theory for students taking courses in criminology at both undergraduate and postgraduate level. Building on previous editions, this book presents the latest research and theoretical developments. The text is divided
This text provides and introduction to ergodic theory suitable for readers knowing basic measure theory. The mathematical prerequisites are summarized in Chapter 0. It is hoped the reader will be ready to tackle research papers after reading the book. Several examples are described and are studied
An accessible and thorough introduction to literary theory and contemporary critical practice, this book is an essential resource for beginning students of literary criticism. Covers traditional approaches such as formalism and structuralism, as well as more recent developments in criticism such
An Introduction to the Theory of Knowledge, 2nd Edition guides the reader through the key issues and debates in contemporary epistemology. Lucid, comprehensive and accessible, it is an ideal textbook for students who are new to the subject and for university undergraduates. The book is divided into
An Introduction to the Theory of Numbers by G. H. Hardy and E. M. Wright is found on the reading list of virtually all elementary number theory courses and is widely regarded as the primary and classic text in elementary number theory. Developed under the guidance of D. R. Heath-Brown, this Sixth
Based on Francesca Happ 's best-selling textbook, Autism: An Introduction to Psychological Theory, this completely new edition provides a concise overview of contemporary psychological theories about autism. Fletcher-Watson and Happ explore the relationship between theories of autism at
Person-Centred Counselling Psychology is an introduction to the philosophy, theory and practice of the person-centred approach. Focusing on the psychological underpinnings of the approach, Ewan Gillon describes the theory of personality on which it is based and the nature of the therapeutic which
The fourth edition of the bestselling An Introduction to Family Therapy provides an overview of the core concepts informing family therapy and systemic practice, covering the development of this innovative field from the 1950s to the present
This book provides an introduction to the theory and practice of diplomacy and its vital role in an era of increasing international uncertainty. The work employs a distinctive 'diplomatic perspective' on international relations and argues that the experience of conducting diplomacy gives rise to a
Beginning theory has been helping students navigate through the thickets of literary and cultural theory for over two decades. This new and expanded fourth edition continues to offer readers the best single-volume introduction to the field. The bewildering variety of approaches, theorists and
An introduction to the basic theory of stochastic calculus and its applications. Examples are given throughout the text, in order to motivate and illustrate the theory and show its importance for many applications in e.g. economics, biology and physics. The basic idea of the presentation is to