SULJE VALIKKO

avaa valikko

HAUSER | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 9715 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
Ed Clark: The Big Sweep - Chronicles of a Life, 1926–2019
L. Berrin; Ed Clark; Michel Conil-Lacoste; Ph. Constantin; Darby English; Anita Feldman; Geoffrey Jacques; Kellie Jones
Hauser & Wirth (2023)
Kovakantinen kirja
58,20
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
Control and Inverse Problems - The 2022 Spring Workshop in Monastir, Tunisia
Kaïs Ammari; Chaker Jammazi; Faouzi Triki
Birkhauser Verlag AG (2024)
Pehmeäkantinen kirja
155,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Von konstruktiver Klarheit. Max Bill und seine Zeit. 1940-1952
Max Bill; Michaela Unterdörfer; Angela Thomas
Hauser&Wirth Publishers (2023)
Pehmeäkantinen kirja
57,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Design as Research - Positions, Arguments, Perspectives
Gesche Joost; Katharina Bredies; Michelle Christensen; Florian Conradi; Andreas Unteidig
Birkhauser (2016)
Kovakantinen kirja
45,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advances in Algebra and Analysis : International Conference on Advances in Mathematical Sciences, Vellore, India, December 2017
V. Madhu (ed.); A. Manimaran (ed.); D. Easwaramoorthy (ed.); D. Kalpanapriya (ed.); M. Mubashir Unnissa (ed.)
Birkhäuser (2019)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Geometric Multiplication of Vectors : An Introduction to Geometric Algebra in Physics
Miroslav Josipović
Birkhäuser (2019)
Pehmeäkantinen kirja
40,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Konstruktion - Manual
Daniel Mettler; Daniel Studer; ETH Zürich - BUK
Birkhauser (2021)
Pehmeäkantinen kirja
47,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Adrian Frutiger – Typefaces - Complete Works
Heidrun Osterer; Philipp Stamm
Birkhauser (2021)
Kovakantinen kirja
67,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logical Skills : Social-Historical Perspectives
Julie Brumberg-Chaumont (ed.); Claude Rosental (ed.)
Birkhäuser (2021)
Kovakantinen kirja
107,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
From Operator Theory to Orthogonal Polynomials, Combinatorics, and Number Theory : A Volume in Honor of Lance Littlejohn's 70th
Fritz Gesztesy (ed.); Andrei Martinez-Finkelshtein (ed.)
Birkhäuser (2021)
Kovakantinen kirja
126,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
From Operator Theory to Orthogonal Polynomials, Combinatorics, and Number Theory : A Volume in Honor of Lance Littlejohn's 70th
Fritz Gesztesy (ed.); Andrei Martinez-Finkelshtein (ed.)
Birkhäuser (2022)
Pehmeäkantinen kirja
126,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Die Substanz der Räume - Material in der Szenografie
Erika Thümmel; FH JOANNEUM Gesellschaft mbH
Birkhauser (2023)
Kovakantinen kirja
47,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Perspectives on Four Decades of Algebraic Geometry, Volume 1 - In Memory of Alberto Collino
Alberto Albano; Paolo Aluffi; Michele Bolognesi; Cinzia Casagrande; Elisabetta Colombo; Alberto Conte; Antonella Grassi
Birkhauser Verlag AG (2025)
Kovakantinen kirja
121,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Progress in Drug Research : Fortschritte der Arzneimittelforschung / Progrès des recherches pharmaceutiques
Richard M. Eglen; Mont R. Juchau; Gillian Edwards; Arthur H. Weston; Helen Wise; M. D. Murray; D. Craig Brater; Valdenair
Birkhäuser (2012)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
From Classical to Modern Algebraic Geometry : Corrado Segre's Mastership and Legacy
Gianfranco Casnati (ed.); Alberto Conte (ed.); Letterio Gatto (ed.); Livia Giacardi (ed.); Marina Marchisio (ed.); A Verra
Birkhäuser (2017)
Kovakantinen kirja
344,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Geometric Methods in Physics - XXXIV Workshop, Białowieża, Poland, June 28 – July 4, 2015
Piotr Kielanowski; S. Twareque Ali; Pierre Bieliavsky; Anatol Odzijewicz; Martin Schlichenmaier; Theodore Voronov
Birkhauser Verlag AG (2018)
Pehmeäkantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Mathematical Control Theory : An Introduction
Jerzy Zabczyk
Birkhäuser (2020)
Kovakantinen kirja
68,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Patient Room - Planning, Design, Layout
Wolfgang Sunder; Julia Moellmann; Oliver Zeise; Lukas Adrian Jurk
Birkhauser (2020)
Kovakantinen kirja
78,70
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