Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Libro Gentzen Calculi for Modal Propositional Logic Francesca Poggiolesi

Gentzen Calculi for Modal Propositional Logic

Francesca Poggiolesi

Lingua

Inglese

Libro Rigido

Libro Gentzen Calculi for Modal Propositional Logic Francesca Poggiolesi

Codice Libristo: 01976920

Casa editrice Springer, dicembre 2010

The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three pa... Descrizione completa

Codice Libristo: 01976920

?

points

346 b

141.39 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Arbeitsrecht und Satire Caroline Siegel

/

In brossura

85.89 €

Annona Reticulata-Phytochimie, activité antibactérienne et antioxydante G. Bharathi

/

In brossura

27.99 €

Celador/a Servicio Vasco de Salud-Osakidetza

/

In brossura

66.49 €

Quarter Horses - Die größte Zuchtbuchrasse der Welt (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo

/

Calendario

24.79 €

To byl Arnošt Lustig František Cinger

/

Rigido

9.59 €

Postepy reumatologii klinicznej

/

In brossura

58.89 €

Říkanková knížka Víly

/

Leporello

4.19 €

Deuxieme Quodlibet Alain Boureau

/

In brossura

66.59 €

Grundzuge der Persoenlichkeitspsychologie Kristin Huckenbeck

/

In brossura

14.09 €

Schwert in Mythos Und Handwerk / ber Die Ergebnisse Neuerer Metallkundlicher Untersuchungen Alter Eisenfunde Und Ihre Bedeutung F r Die Technik Und D Franz Wever

/

In brossura

67.89 €

The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50 s until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them.§

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

Ewa Kasp

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Gentzen Calculi for Modal Propositional Logic

Autore Francesca Poggiolesi

Lingua

Inglese

Rilegatura Libro - Rigido

Data di pubblicazione 2010

Numero di pagine 224

EAN 9789048196692

ISBN 9048196698

Codice Libristo 01976920

Casa editrice Springer

Peso 672

Dimensioni 247 x 181 x 21

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica

Filosofia e Religione > Filosofia > Argomenti in filosofia > Filosofia: logica

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Visione artificiale (computer vision)

Lingue e Linguistica > Lingue: opere di consultazione e di interesse generale > Lingue: storia e opere generali

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

In preparazione

Warhol David Bourdon

/

In brossura

22.59 €

Fry's Law of Vaccination: Containing the Vaccination Acts 1867, 1871, 1874, and 1898... Danby Palmer Fry

/

In brossura

16.29 €

The Nuns Of Minsk: Narrative Of Makrena Mieczyslawska, Abbess Of The Basilian Convent Of Minsk (1846) Makryna Mieczyslawska

/

In brossura

17.19 €

Talismans and Charms Henry Christmas

/

In brossura

19.99 €

Once Upon an Eid Aisha Saeed

/

Rigido

12.09 €

Leo Learns About Life Nick Nanton

/

Rigido

24.99 €

Shifted Masterpiece: A Story of Love & Horror in Savannah, GA Vee Speaklife

/

In brossura

10.69 €

Trial and Judgment of the Soul, for Discovering the Safety of Its Spiritual Estate. by John Kettlewell, ... a New Edition JOHN KETTLEWELL

/

Rigido

22.69 €

Strategies and Tools for a Sustainable Rural Rio de Janeiro Udo Nehren

/

Rigido

136.09 €

Lady Gaga and Popular Music Martin Iddon

/

In brossura

63.59 €

Fascination Essie Fox

/

Rigido

15.49 €

Advances in Tourism, Technology and Systems João Vidal Carvalho

/

In brossura

199.39 €

Microsoft Hyper-V Cluster Design Eric Siron

/

In brossura

56.29 €

Chispita Service Dog Extraordinaire Richard B. Taylor

/

In brossura

14.69 €

Terezin Ruth Thomson

/

In brossura

10.19 €

After London or Wild England Richard Jefferies

/

In brossura

16.29 €

Decentralized Receding Horizon Control Tamas Keviczky

/

In brossura

52.09 €

Fashionable Clothing from the Sears Catalogs Late 1940s Tina Skinner

/

In brossura

18.69 €

Hide and Seek - Camouflage, Photography, and the Media of Reconnaissance Hanna Rose Shell

/

Rigido

24.49 €

Chronicle of Theophanes Harry Turtledove

/

In brossura

23.69 €

Plumbing Muscroft

/

In brossura

69.69 €

Combatting Digital Arrest Fraud and Identity Theft With AI and Decision Support Systems Brij B. Gupta

/

In brossura

171.89 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?