2010, ISBN: 9789048183814
auteur: Fitting, M. Springer, Paperback, Auflage: Softcover reprint of the original 1st ed. 1983, 563 Seiten, Publiziert: 2010-12-25T00:00:01Z, Produktgruppe: Book, 1.65 kg, Logica, Speci… Meer...
Amazon.nl |
Proof Methods for Modal and Intuitionistic Logics (Synthese Library) (Synthese Library (169), Band 169) - pocketboek
2010, ISBN: 9789048183814
Springer, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 1983, 568 Seiten, Publiziert: 2010-12-25T00:00:01Z, Produktgruppe: Buch, 1.9 kg, Verkaufsrang: 378, Logik, Philos… Meer...
Amazon.de (Intern... |
Proof Methods for Modal and Intuitionistic Logics (Synthese Library) (Synthese Library (169), Band 169) - pocketboek
2010, ISBN: 9789048183814
Springer, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 1983, 568 Seiten, Publiziert: 2010-12-25T00:00:01Z, Produktgruppe: Buch, 1.9 kg, Verkaufsrang: 378, Logik, Philos… Meer...
Amazon.de (Intern... Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2010, ISBN: 9048183812
Softcover reprint of the original 1st ed. 1983 Kartoniert / Broschiert englishliterature; Literature; logic; modallogic; Notation; present; Proposition; Quantifiers, with dust cover 11,… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:No shipping costs within Germany. (EUR 0.00) Details... |
2010, ISBN: 9048183812
[EAN: 9789048183814], New book, [SC: 11.99], [PU: Springer], Book is in NEW condition., Books
AbeBooks.co.uk GF Books, Inc., Hawthorne, CA, U.S.A. [64674448] [Rating: 5 (of 5)] NEW BOOK. Verzendingskosten: EUR 11.99 Details... |
2010, ISBN: 9789048183814
auteur: Fitting, M. Springer, Paperback, Auflage: Softcover reprint of the original 1st ed. 1983, 563 Seiten, Publiziert: 2010-12-25T00:00:01Z, Produktgruppe: Book, 1.65 kg, Logica, Speci… Meer...
Fitting, Melvin:
Proof Methods for Modal and Intuitionistic Logics (Synthese Library) (Synthese Library (169), Band 169) - pocketboek2010, ISBN: 9789048183814
Springer, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 1983, 568 Seiten, Publiziert: 2010-12-25T00:00:01Z, Produktgruppe: Buch, 1.9 kg, Verkaufsrang: 378, Logik, Philos… Meer...
Proof Methods for Modal and Intuitionistic Logics (Synthese Library) (Synthese Library (169), Band 169) - pocketboek
2010
ISBN: 9789048183814
Springer, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 1983, 568 Seiten, Publiziert: 2010-12-25T00:00:01Z, Produktgruppe: Buch, 1.9 kg, Verkaufsrang: 378, Logik, Philos… Meer...
2010, ISBN: 9048183812
Softcover reprint of the original 1st ed. 1983 Kartoniert / Broschiert englishliterature; Literature; logic; modallogic; Notation; present; Proposition; Quantifiers, with dust cover 11,… Meer...
2010, ISBN: 9048183812
[EAN: 9789048183814], New book, [SC: 11.99], [PU: Springer], Book is in NEW condition., Books
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Proof Methods for Modal and Intuitionistic Logics: 169
EAN (ISBN-13): 9789048183814
ISBN (ISBN-10): 9048183812
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
564 Bladzijden
Gewicht: 0,783 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-07-11T10:45:23+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-11-21T23:13:14+01:00 (Amsterdam)
ISBN/EAN: 9789048183814
ISBN - alternatieve schrijfwijzen:
90-481-8381-2, 978-90-481-8381-4
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: fitting, fitti
Titel van het boek: proof methods, methods logic, what logics mean, modal logic, intuitionistic 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: 2010-12-25
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
219,99 € (DE)
BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; English literature; literature; logic; modal logic; notation; present; proposition; quantifiers; Logic; BB; EA
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:
9789027715739 Proof Methods for Modal and Intuitionistic Logics (Fitting, M.)
< naar Archief...