- 5 resultaten
laagste prijs: € 73,04, hoogste prijs: € 295,83, gemiddelde prijs: € 214,25
1
bestellen
bij Biblio.co.uk
$ 85,00
(ongeveer € 73,04)
verzending: € 17,471
bestellenGesponsorde link
Fitting, Melvin:

Proof Methods for Modal and Intuitionistic Logics / Edition 1 - gebonden uitgave, pocketboek

1983, ISBN: 9789027715739

US: D. Reidel/Springer Netherlands, 1983. Ex-Library. Hardcover. Very Good-/None. Synthese library Medium blue cloth boards, only light edgewear/fading to spine. Binding square and sou… Meer...

Verzendingskosten: EUR 17.47 Quadrant Book Mart
2
Proof Methods for Modal and Intuitionistic Logics
bestellen
bij Springer.com
€ 213,99
verzending: € 0,001
bestellenGesponsorde link
Proof Methods for Modal and Intuitionistic Logics - nieuw boek

ISBN: 9789027715739

"Necessity is the mother of invention. " Part I: What is in this book - details. There are several different types of formal proof procedures that logicians have invented. The ones we con… Meer...

Nr. 978-90-277-1573-9. Verzendingskosten:Worldwide free shipping, , DE. (EUR 0.00)
3
Proof Methods for Modal and Intuitionistic Logics - M. Fitting
bestellen
bij booklooker.de
€ 265,95
verzending: € 0,001
bestellenGesponsorde link
M. Fitting:
Proof Methods for Modal and Intuitionistic Logics - eerste uitgave

1983

ISBN: 9789027715739

gebonden uitgave

[ED: Gebunden], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Necessity is the mother of invention. Part … Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
4
Proof Methods for Modal and Intuitionistic Logics - Fitting, M.
bestellen
bij Achtung-Buecher.de
€ 222,44
verzending: € 0,001
bestellenGesponsorde link
Fitting, M.:
Proof Methods for Modal and Intuitionistic Logics - gebonden uitgave, pocketboek

1983, ISBN: 9027715734

1983 Gebundene Ausgabe Logik, Philosophie / Logik, englishliterature; Literature; logic; modallogic; Notation; present; Proposition; Quantifiers, mit Schutzumschlag 11, [PU:Springer Net… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
5
Proof Methods for Modal and Intuitionistic Logics - M. Fitting
bestellen
bij BookDepository.com
€ 295,83
verzending: € 0,001
bestellenGesponsorde link
M. Fitting:
Proof Methods for Modal and Intuitionistic Logics - gebonden uitgave, pocketboek

ISBN: 9789027715739

Hardback, [PU: Springer], The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems., Philosophy: Logic

Verzendingskosten:Versandkostenfrei. (EUR 0.00)

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
Proof Methods for Modal and Intuitionistic Logics

"Necessity is the mother of invention. " Part I: What is in this book - details. There are several different types of formal proof procedures that logicians have invented. The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems. We present proof procedures of each of these types for the most common normal modal logics: S5, S4, B, T, D, K, K4, D4, KB, DB, and also G, the logic that has become important in applications of modal logic to the proof theory of Peano arithmetic. Further, we present a similar variety of proof procedures for an even larger number of regular, non-normal modal logics (many introduced by Lemmon). We also consider some quasi-regular logics, including S2 and S3. Virtually all of these proof procedures are studied in both propositional and first-order versions (generally with and without the Barcan formula). Finally, we present the full variety of proof methods for Intuitionistic logic (and of course Classical logic too). We actually give two quite different kinds of tableau systems for the logics we consider, two kinds of Gentzen sequent calculi, and two kinds of natural deduction systems. Each of the two tableau systems has its own uses; each provides us with different information about the logics involved. They complement each other more than they overlap. Of the two Gentzen systems, one is of the conventional sort, common in the literature.

Gedetalleerde informatie over het boek. - Proof Methods for Modal and Intuitionistic Logics


EAN (ISBN-13): 9789027715739
ISBN (ISBN-10): 9027715734
Gebonden uitgave
pocket book
Verschijningsjaar: 1983
Uitgever: Kluwer Academic Publishers
568 Bladzijden
Gewicht: 1,005 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-07-10T17:13:20+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-08-11T16:38:07+02:00 (Amsterdam)
ISBN/EAN: 9789027715739

ISBN - alternatieve schrijfwijzen:
90-277-1573-4, 978-90-277-1573-9
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: fitting, fitti
Titel van het boek: modal logic, proof methods for modal intuitionistic logics, earth logic


Gegevens van de uitgever

Auteur: M. Fitting
Titel: Synthese Library; Proof Methods for Modal and Intuitionistic Logics
Uitgeverij: Springer; Springer Netherland
555 Bladzijden
Verschijningsjaar: 1983-04-30
Dordrecht; NL
Taal: Engels
219,99 € (DE)

BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; English literature; literature; logic; modal logic; notation; present; proposition; quantifiers; Logic; BC

One / Background.- Two / Analytic Modal Tableaus and Consistency Properties.- Three / Logical Consequence, Compactness, Interpolation, and Other Topics.- Four / Axiom Systems and Natural Deduction.- Five / Non-Analytic Logics.- Six / Non-Normal Logics.- Seven / Quantifiers.- Eight / Prefixed Tableau Systems.- Nine / Intuitionistic Logic.- Special Notation.

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

Laatste soortgelijke boek:
9789048183814 Proof Methods for Modal and Intuitionistic Logics: 169 (Fitting, Melvin)


< naar Archief...