- 5 resultaten
laagste prijs: € 98,47, hoogste prijs: € 179,99, gemiddelde prijs: € 132,25
1
Hybrid Logic and Its Proof-Theory / Torben Braüner / Buch / XIII / Englisch / 2010 / Springer Netherland / EAN 9789400700017 - Braüner, Torben
bestellen
bij booklooker.de
€ 98,47
verzending: € 0,001
bestellenGesponsorde link
Braüner, Torben:

Hybrid Logic and Its Proof-Theory / Torben Braüner / Buch / XIII / Englisch / 2010 / Springer Netherland / EAN 9789400700017 - gebonden uitgave, pocketboek

2010, ISBN: 9789400700017

[ED: Gebunden], [PU: Springer Netherland], This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows … Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
2
bestellen
bij Thalia.de
€ 179,99
verzending: € 0,001
bestellenGesponsorde link
Hybrid Logic and its Proof-Theory - gebonden uitgave, pocketboek

2010, ISBN: 9789400700017

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in … Meer...

Nr. 23470911. Verzendingskosten:, Lieferbar in 1 - 2 Wochen, DE. (EUR 0.00)
3
Hybrid Logic and its Proof-Theory - Braüner, Torben
bestellen
bij Averdo.com
€ 124,49
verzending: € 0,001
bestellenGesponsorde link
Braüner, Torben:
Hybrid Logic and its Proof-Theory - gebonden uitgave, pocketboek

2011

ISBN: 9789400700017

Erscheinungsdatum: 03/2011, Medium: Buch, Einband: Gebunden, Titel: Hybrid Logic and its Proof-Theory, Autor: Braüner, Torben, Verlag: Springer-Verlag GmbH // Springer Netherland, Sprache… Meer...

Nr. 70514646. Verzendingskosten:, Next Day, DE. (EUR 0.00)
4
Hybrid Logic and its Proof-Theory - Torben Brauner
bestellen
bij BookDepository.com
€ 110,56
verzending: € 0,001
bestellenGesponsorde link
Torben Brauner:
Hybrid Logic and its Proof-Theory - gebonden uitgave, pocketboek

ISBN: 9789400700017

Hardback, [PU: Springer], In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduc… Meer...

Verzendingskosten:Sans frais d'envoi. (EUR 0.00)
5
Hybrid Logic and its Proof-Theory (Applied Logic Series) - Torben Braüner
bestellen
bij awesomebooks.com
£ 131,45
(ongeveer € 147,76)
verzending: € 3,361
bestellenGesponsorde link
Torben Braüner:
Hybrid Logic and its Proof-Theory (Applied Logic Series) - nieuw boek

ISBN: 9789400700017

Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems… Meer...

No. 9789400700017. Verzendingskosten:20, (EUR 3.36)

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Hybrid Logic and its Proof-Theory

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).

Gedetalleerde informatie over het boek. - Hybrid Logic and its Proof-Theory


EAN (ISBN-13): 9789400700017
ISBN (ISBN-10): 9400700016
Gebonden uitgave
pocket book
Verschijningsjaar: 2011
Uitgever: Springer-Verlag GmbH
231 Bladzijden
Gewicht: 0,507 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2008-04-15T01:11:06+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-01-30T19:39:40+01:00 (Amsterdam)
ISBN/EAN: 9789400700017

ISBN - alternatieve schrijfwijzen:
94-007-0001-6, 978-94-007-0001-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: braune, bra, bräuner, brauner
Titel van het boek: hybrid logic and its proof theory, applied proof theory


Gegevens van de uitgever

Auteur: Torben Braüner
Titel: Applied Logic Series; Hybrid Logic and its Proof-Theory
Uitgeverij: Springer; Springer Netherland
231 Bladzijden
Verschijningsjaar: 2010-11-30
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
109,99 € (DE)

BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Computational Logic; Logic; Mathematical logic; Philosophical logic; Logic; Formal Languages and Automata Theory; Mathematical Logic and Foundations; Theoretische Informatik; Mathematik: Logik; Mathematische Grundlagen; BC

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789400700031 Hybrid Logic and Its Proof-Theory (Torben Bra Ner)


< naar Archief...