Condition: New. pp. 496.
Seller: ALLBOOKS1, Direk, SA, Australia
US$ 199.90
Convert currencyQuantity: 1 available
Add to basket
US$ 192.11
Convert currencyQuantity: 1 available
Add to basketCondition: New. pp. 496.
US$ 209.14
Convert currencyQuantity: 1 available
Add to basketCondition: New. pp. 496.
Seller: ALLBOOKS1, Direk, SA, Australia
US$ 225.57
Convert currencyQuantity: 1 available
Add to basket
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 256.21
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
US$ 269.64
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 274.27
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
US$ 284.10
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 292.39
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Published by Springer Nature Switzerland, Springer Nature Switzerland Okt 2024, 2024
ISBN 10: 3031420365 ISBN 13: 9783031420368
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
US$ 283.18
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches of science as logic permeates all genuine realms of science. The book contains a substantial part of classical results in logic like those by Gödel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus inductive definitions.The exposition is rigorous yet without unnecessary abstractionism, so it should be accessible to readers from many disciplines of science. Each chapter contains a problem section, and problems are borrowed from research publications which allows for passing additional information, and it allows readers to test their skills. Extensive bibliography of 270 positions directs readers to research works of importance.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.
Published by Springer Nature Switzerland, Springer International Publishing Okt 2023, 2023
ISBN 10: 3031420330 ISBN 13: 9783031420337
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
US$ 283.18
Convert currencyQuantity: 2 available
Add to basketBuch. Condition: Neu. Neuware -The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches of science as logic permeates all genuine realms of science. The book contains a substantial part of classical results in logic like those by Gödel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus inductive definitions.The exposition is rigorous yet without unnecessary abstractionism, so it should be accessible to readers from many disciplines of science. Each chapter contains a problem section, and problems are borrowed from research publications which allows for passing additional information, and it allows readers to test their skills. Extensive bibliography of 270 positions directs readers to research works of importance.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.
Published by Springer Nature Switzerland, Springer Nature Switzerland, 2024
ISBN 10: 3031420365 ISBN 13: 9783031420368
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 283.18
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches of science as logic permeates all genuine realms of science. The book contains a substantial part of classical results in logic like those by Gödel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus inductive definitions.The exposition is rigorous yet without unnecessary abstractionism, so it should be accessible to readers from many disciplines of science. Each chapter contains a problem section, and problems are borrowed from research publications which allows for passing additional information, and it allows readers to test their skills. Extensive bibliography of 270 positions directs readers to research works of importance.
Published by Springer Nature Switzerland, Springer Nature Switzerland, 2023
ISBN 10: 3031420330 ISBN 13: 9783031420337
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 283.18
Convert currencyQuantity: 1 available
Add to basketBuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches of science as logic permeates all genuine realms of science. The book contains a substantial part of classical results in logic like those by Gödel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus inductive definitions.The exposition is rigorous yet without unnecessary abstractionism, so it should be accessible to readers from many disciplines of science. Each chapter contains a problem section, and problems are borrowed from research publications which allows for passing additional information, and it allows readers to test their skills. Extensive bibliography of 270 positions directs readers to research works of importance.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. 2023rd edition NO-PA16APR2015-KAP.
Published by Springer-Nature New York Inc, 2023
ISBN 10: 3031420330 ISBN 13: 9783031420337
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
US$ 401.03
Convert currencyQuantity: 2 available
Add to basketHardcover. Condition: Brand New. 2nd revised enl edition. 494 pages. 9.25x6.10x1.06 inches. In Stock.
Published by Springer Verlag GmbH, 2024
ISBN 10: 3031420365 ISBN 13: 9783031420368
Language: English
Seller: moluna, Greven, Germany
US$ 237.75
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
Published by Springer, Berlin|Springer Nature Switzerland|Springer, 2023
ISBN 10: 3031420330 ISBN 13: 9783031420337
Language: English
Seller: moluna, Greven, Germany
US$ 237.75
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of r.
Published by Springer Nature Switzerland, Springer Nature Switzerland Okt 2024, 2024
ISBN 10: 3031420365 ISBN 13: 9783031420368
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
US$ 283.18
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches of science as logic permeates all genuine realms of science. The book contains a substantial part of classical results in logic like those by Gödel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus inductive definitions.The exposition is rigorous yet without unnecessary abstractionism, so it should be accessible to readers from many disciplines of science. Each chapter contains a problem section, and problems are borrowed from research publications which allows for passing additional information, and it allows readers to test their skills. Extensive bibliography of 270 positions directs readers to research works of importance. 496 pp. Englisch.
Published by Springer Nature Switzerland, Springer Nature Switzerland Okt 2023, 2023
ISBN 10: 3031420330 ISBN 13: 9783031420337
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
US$ 283.18
Convert currencyQuantity: 2 available
Add to basketBuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches of science as logic permeates all genuine realms of science. The book contains a substantial part of classical results in logic like those by Gödel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus inductive definitions.The exposition is rigorous yet without unnecessary abstractionism, so it should be accessible to readers from many disciplines of science. Each chapter contains a problem section, and problems are borrowed from research publications which allows for passing additional information, and it allows readers to test their skills. Extensive bibliography of 270 positions directs readers to research works of importance. 496 pp. Englisch.
Seller: Majestic Books, Hounslow, United Kingdom
US$ 373.98
Convert currencyQuantity: 4 available
Add to basketCondition: New. Print on Demand.
Seller: Biblios, Frankfurt am main, HESSE, Germany
US$ 404.59
Convert currencyQuantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND.