SULJE VALIKKO

avaa valikko

HAUSER | 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
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
Gene Therapy in Inflammatory Diseases
Christopher H. Evans; Paul D. Robbins
Birkhauser Verlag AG (2000)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Spectral Theory and Mathematical Physics
Marius Mantoiu (ed.); Georgi Raikov (ed.); Rafael Tiedra de Aldecoa (ed.)
Birkhäuser (2016)
Kovakantinen kirja
97,90
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
Preventing the Proliferation of WMDs - Measuring the Success of UN Security Council Resolution 1540
Daniel Salisbury; Ian J. Stewart; Andrea Viski
Birkhauser Verlag AG (2018)
Kovakantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Covariance and Gauge Invariance in Continuum Physics : Application to Mechanics, Gravitation, and Electromagnetism
Lalaonirina R. Rakotomanana
Birkhäuser (2018)
Kovakantinen kirja
107,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Planning the Impossible - Urban Development and Spatial Strategies in the Paris Charles de Gaulle Airport Region
Eirini Kasioumi
Birkhauser (2021)
Kovakantinen kirja
56,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Galois’ Dream: Group Theory and Differential Equations - Group Theory and Differential Equations
Michio Kuga
Birkhauser Boston Inc (1993)
Kovakantinen kirja
126,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Linear Systems
Panos J. Antsaklis; Anthony N. Michel
Birkhauser Boston Inc (2005)
Kovakantinen kirja
121,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
104 Number Theory Problems - From the Training of the USA IMO Team
Titu Andreescu; Dorin Andrica; Zuming Feng
Birkhauser Boston Inc (2006)
Pehmeäkantinen kirja
59,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Completeness Theory for Propositional Logics
Witold A. Pogorzelski; Piotr Wojtylak
Birkhauser Verlag AG (2008)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Cryptographic Applications of Analytic Number Theory - Complexity Lower Bounds and Pseudorandomness
Igor Shparlinski
Birkhauser Verlag AG (2002)
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
An Introduction to the Langlands Program
Joseph Bernstein; Stephen Gelbart
Birkhauser Boston Inc (2003)
Pehmeäkantinen kirja
68,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Drugs, Driving and Traffic Safety
Joris C. Verster; S. R. Pandi-Perumal; Jan G. Ramaekers; Johan J. de Gier
Birkhauser Verlag AG (2008)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Fourier Integral Operators
J.J. Duistermaat
Birkhauser Boston Inc (2010)
Pehmeäkantinen kirja
64,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A New Approach to Differential Geometry using Clifford's Geometric Algebra
John Snygg
Birkhauser Boston Inc (2011)
Kovakantinen kirja
88,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Methods in Comparative Psychoacoustics
G.M. Klump (ed.); R.J. Dooling (ed.); Richard Fay (ed.); W.C. Stebbins (ed.)
Birkhäuser (2012)
Pehmeäkantinen kirja
97,90
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