Ergebnisse zu
Logik / Mengenlehre

Implicative-groups vs Groups and Generalizations. Second Edition

von Afrodita Iorgulescu

Buch | Softcover

2025 | College Publications

ISBN: 9781848904866

CHF 47,⁶⁰ (inkl. MwSt)

• Titel nicht im Sortiment

Handbook of Logic

von John Daniel Morell

Buch | Hardcover

2025 | Hutson Street Press

ISBN: 9781023726719

CHF 41,⁸⁰ (inkl. MwSt)

• Titel nicht im Sortiment

Automated Theorem Proving: Theory and Practice

von Glenn Derry

Buch | Hardcover

2025 | Willford Press

ISBN: 9781647286798

CHF 209,⁹⁵ (inkl. MwSt)

• Titel nicht im Sortiment

Modern Mathematical Logic

von Agustin Willmott

Buch | Hardcover

2025 | Larsen and Keller Education

ISBN: 9798888362129

CHF 215,⁶⁵ (inkl. MwSt)

• Titel nicht im Sortiment

Automating Security Protocol Analysis

von Stephen W Mancini

Buch | Hardcover

2025 | Hutson Street Press

ISBN: 9781025135144

CHF 41,⁸⁰ (inkl. MwSt)

• Titel nicht im Sortiment

Solutions to Exercises in Fundamentals of Logic

von James Donald Carney; Richard K Scheer

Buch | Softcover

2025 | Hutson Street Press

ISBN: 9781024061970

CHF 20,⁸⁵ (inkl. MwSt)

• Titel nicht im Sortiment

Generating Test Templates via Automated Theorem Proving

von National Aeronautics and Space Admini; Mani Prasard..

Buch | Hardcover

2025 | Hutson Street Press

ISBN: 9781025154039

CHF 41,⁸⁰ (inkl. MwSt)

• Titel nicht im Sortiment

The Elements of Logic ..

von William Stanley 1835-1882 Jevons

Buch | Softcover

2025 | Hutson Street Press

ISBN: 9781025230153

CHF 34,⁸⁰ (inkl. MwSt)

• Titel nicht im Sortiment

A Hierarchical Technique for Mechanical Theorem Proving and its Application to..

von Norman Rubin

Buch | Softcover

2025 | Hutson Street Press

ISBN: 9781024208504

CHF 24,³⁵ (inkl. MwSt)

• Titel nicht im Sortiment

An Introduction to the Logic of Algebra. With Illustrative Exercises

von Ellery W 1857-1918 Davis

Buch | Hardcover

2025 | Hutson Street Press

ISBN: 9781024066951

CHF 41,⁸⁰ (inkl. MwSt)

• Titel nicht im Sortiment

Current Trends in Automated Reasoning

von Erika Bach

Buch | Hardcover

2025 | Willford Press

ISBN: 9781647286804

CHF 215,⁶⁵ (inkl. MwSt)

• Titel nicht im Sortiment

A Primer of Logic

von Henry Bradford 1882-1938 Smith

Buch | Hardcover

2025 | Hutson Street Press

ISBN: 9781025193755

CHF 41,⁸⁰ (inkl. MwSt)

• Titel nicht im Sortiment

Generating Test Templates via Automated Theorem Proving

von National Aeronautics and Space Admini; Mani Prasard..

Buch | Softcover

2025 | Hutson Street Press

ISBN: 9781025158259

CHF 20,⁸⁵ (inkl. MwSt)

• Titel nicht im Sortiment

An Application of Automated Theorem Provers to Computer System Security

von Mitchell David Irwin Hirschfeld

Buch | Softcover

2025 | Hutson Street Press

ISBN: 9781025143552

CHF 22,⁶⁰ (inkl. MwSt)

• Titel nicht im Sortiment

Meaning as a Set-theoretic Object. A Gentle Introduction to the Ideas Behind Formal..

von Jaroslav Peregrin

Buch | Softcover

2025 | College Publications

ISBN: 9781848904910

CHF 35,⁹⁵ (inkl. MwSt)

• Titel nicht im Sortiment

A Primer of Logic

von Henry Bradford 1882-1938 Smith

Buch | Softcover

2025 | Hutson Street Press

ISBN: 9781025197852

CHF 22,²⁰ (inkl. MwSt)

• Titel nicht im Sortiment

Studies on the Logic of Automatic Computation

von Lionello A Lombardi

Buch | Softcover

2025 | Hutson Street Press

ISBN: 9781024188448

CHF 22,⁶⁰ (inkl. MwSt)

• Titel nicht im Sortiment

Handbook of Automated Reasoning

von Rachel Phillips

Buch | Hardcover

2025 | Clanrye International

ISBN: 9781647268145

CHF 219,⁹⁵ (inkl. MwSt)

• Titel nicht im Sortiment

Studies on the Logic of Automatic Computation

von Lionello A Lombardi

Buch | Hardcover

2025 | Hutson Street Press

ISBN: 9781024185522

CHF 41,⁸⁰ (inkl. MwSt)

• Titel nicht im Sortiment

Construction of Angle Trisection (An Addition in Euclidean Geometry)

von Manoranjan Ghoshal

Buch | Softcover

2025 | Manoranjan Ghoshal

ISBN: 9798231454013

CHF 19,¹⁵ (inkl. MwSt)

• Titel nicht im Sortiment