SULJE VALIKKO

avaa valikko

Birkhäuser | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 9745 tuotetta
Haluatko tarkentaa hakukriteerejä?



Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi
Andrzej Indrzejczak
Birkhäuser (2020)
Kovakantinen kirja
64,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Groups and Geometries : Siena Conference, September 1996
Lino Di Martino (ed.); William Kantor (ed.); Guglielmo Lunardon (ed.); Antonio Pasini (ed.); Maria Clara Tamburini (ed.)
Birkhäuser (2011)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Direct and Inverse Sturm-Liouville Problems : A Method of Solution
Vladislav V. Kravchenko
Birkhäuser (2020)
Pehmeäkantinen kirja
54,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A Probability Path
Sidney Resnick
Birkhäuser (2003)
Kovakantinen kirja
63,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Classical and Spatial Stochastic Processes
Rinaldo B. Schinazi
Birkhäuser (1999)
Kovakantinen kirja
105,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Monge—Ampère Equation
Cristian E. Gutierrez
Birkhäuser (2001)
Kovakantinen kirja
123,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Wavelet Transforms and Their Applications
Lokenath Debnath
Birkhäuser (2001)
Kovakantinen kirja
102,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Die Geschichte der Bauingenieurkunst
Hans Straub
Birkhäuser (1992)
Kovakantinen kirja
77,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Gärten in Deutschland: Ein Reiseführer zu den schönsten Gartenanlagen
Charles Quest-Ritson
Birkhäuser (1999)
Pehmeäkantinen kirja
23,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Ausgewählte Aufsätze über Fragen der Gestalt des Buches und der Typographie
Jan Tschichold
Birkhäuser (1987)
Kovakantinen kirja
50,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Sehen, Gestalten und Fotografieren
Ernst A. Weber
Birkhäuser (1990)
Kovakantinen kirja
49,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
An Introduction to Frames and Riesz Bases
Ole Christensen
Birkhäuser (2002)
Kovakantinen kirja
63,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Dynamical Systems with Applications using MATLAB®
Stephen Lynch
Birkhäuser (2004)
Pehmeäkantinen kirja
59,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Complex Numbers from A to ...Z
Titu Andreescu; Dorin Andrica
Birkhäuser (2005)
Pehmeäkantinen kirja
45,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Ordered Sets: An Introduction
Bernd Schröder
Birkhäuser (2002)
Kovakantinen kirja
68,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Continuum Mechanics using Mathematica®: Fundamentals, Applications and Scientific Computing
Antonio Romano; Renato Lancellotta; Addolorata Marasco
Birkhäuser (2005)
75,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Number Theory: An Introduction via the Distribution of Primes
Benjamin Fine; Gerhard Rosenberger
Birkhäuser (2006)
Pehmeäkantinen kirja
55,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Introduction to Probability with Statistical Applications
Géza Schay
Birkhäuser (2007)
Pehmeäkantinen kirja
42,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Spectral Theory of Infinite-Area Hyperbolic Surfaces
David Borthwick
Birkhäuser (2007)
Kovakantinen kirja
107,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tata Lectures on Theta III
David Mumford
Birkhäuser (2006)
Pehmeäkantinen kirja
55,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi
64,10 €
Birkhäuser
Sivumäärä: 345 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2020, 17.12.2020 (lisätietoa)
Kieli: Englanti
Tuotesarja: Studies in Universal Logic
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results.  The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained.  Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation.  Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus.

After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications.  The remaining chapters then show how sequent calculi can be extended, modified, andapplied to non-classical logics, including modal, intuitionistic, substructural, and many-valued logics.

Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics.  It will also be of interest to researchers in computer science and philosophers.



Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculizoom
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste