Mathematical foundations
Results 161 - 174 of 174
Mathematical foundations
Paperback. A monograph on the interface of computational complexity and randomness of sets of natural numbers. Series: Oxford Logic Guides. Num Pages: 456 pages, 13 b/w line illustrations. BIC Classification: PBB; PBCD; UYAM; UYF. Category: (G) General (US: Trade). Dimension: 234 x 158 x 24. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 456
- Condition
- New
- SKU
- V9780199652600
- ISBN
- 9780199652600
Paperback
Condition: New
€ 89.14
€ 89.14
Hardback. .
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 2nd ed. 2016
- Condition
- New
- SKU
- V9783319234878
- ISBN
- 9783319234878
Hardback
Condition: New
€ 62.75€ 62.74
€ 62.75
€ 62.74
Paperback. Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church's contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic. Series: Annals of Mathematics Studies. Num Pages: 392 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152 x 25. Weight in Grams: 542.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Princeton University Press United States
- Number of pages
- 392
- Condition
- New
- SKU
- V9780691029061
- ISBN
- 9780691029061
Paperback
Condition: New
€ 97.10€ 72.94
€ 97.10
€ 72.94
Hardback. Editor(s): Hines, Allen. Num Pages: 115 pages. BIC Classification: PBCD; PBCH; PBF. Category: (P) Professional & Vocational. Dimension: 166 x 241 x 15. Weight in Grams: 370.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Nova Science Publishers Inc
- Edition
- UK ed.
- Condition
- New
- SKU
- V9781634830232
- ISBN
- 9781634830232
Hardback
Condition: New
€ 189.45€ 142.20
€ 189.45
€ 142.20
Paperback. Series: Dover Books on Mathematics. Num Pages: 272 pages. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 214 x 136 x 13. Weight in Grams: 287.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Dover Publications Inc. United States
- Number of pages
- 272
- Condition
- New
- SKU
- V9780486284620
- ISBN
- 9780486284620
Paperback
Condition: New
€ 15.99€ 15.82
€ 15.99
€ 15.82
Hardcover. Contains the text of "The Concept of Truth in Formalized Languages". This title includes a preface and an analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy. Translator(s): Woodger, J.H. Num Pages: 536 pages. BIC Classification: JM; PBC. Category: (G) General (US: Trade); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 159 x 40. Weight in Grams: 836.
- Publisher
- Hackett Publishing Co, Inc United States
- Number of pages
- 536
- Format
- Hardback
- Publication date
- 1983
- Edition
- Second Edition,2
- Condition
- New
- SKU
- V9780915144754
- ISBN
- 9780915144754
Hardback
Condition: New
€ 58.01€ 45.29
€ 58.01
€ 45.29
Hardcover. 'Oxford Logic Guide provides comprehensive coverage of a new research area in algebra and model theory. Model theoretical and group theoretical notions are explained in detail, and almost all the known results in the area are included. Aimed at the needs of the graduate student, there are many exercises (with hints) and carefully chosen examples. Series: Oxford Logic Guides. Num Pages: 426 pages, bibliography. BIC Classification: PBCD; PBG. Category: (P) Professional & Vocational. Dimension: 241 x 162 x 28. Weight in Grams: 750.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 426
- Condition
- New
- Edition
- Illustrated
- SKU
- V9780198534457
- ISBN
- 9780198534457
Hardback
Condition: New
€ 243.39
€ 243.39
Paperback. Brings the researcher up to date with recent applications of mathematical logic to number theory. Editor(s): Wilkie, A. J.; Jones, G. O. Series: London Mathematical Society Lecture Note Series. Num Pages: 232 pages, 1 b/w illus. 30 exercises. BIC Classification: PBCD; PBCH; PBH. Category: (P) Professional & Vocational. Dimension: 155 x 229 x 18. Weight in Grams: 350.
- Publisher
- Cambridge University Press
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781107462496
- ISBN
- 9781107462496
Paperback
Condition: New
€ 75.60
€ 75.60
Paperback. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 432 pages, 3 b/w illus. 201 exercises. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 229 x 153 x 26. Weight in Grams: 656. Series: Cambridge Tracts in Theoretical Computer Science. 432 pages, 3 b/w illus. 201 exercises. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA. Dimension: 229 x 153 x 26. Weight: 668. Series Editor(s) :Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P.H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J.V.
- Publisher
- Cambridge University Press
- Number of pages
- 432
- Format
- Paperback
- Publication date
- 2000
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521779111
- ISBN
- 9780521779111
Paperback
Condition: New
€ 59.54
€ 59.54
Hardcover.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 1995
- Edition
- 1995th Edition
- Condition
- New
- SKU
- V9780387943749
- ISBN
- 9780387943749
Hardback
Condition: New
€ 64.06
€ 64.06
Theory and Applications of Satisfiability Testing - SAT 2010
. Ed(S): Strichman, Ofer; Szeider, Stefan
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Strichman, Ofer; Szeider, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 74 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642141850
- ISBN
- 9783642141850
Paperback
Condition: New
€ 66.30
€ 66.30
The Law of Non-contradiction. New Philosophical Essays.
. Ed(S): Priest, Graham; Beall, J.C.; Armour-...
Paperback. Investigates the 'law', considering arguments for and against it and discussing methodological issues that arise whenever we question the legitimacy of logical principles. This volume presents a debate about the Law of Non-Contradiction, from discussions as to how the law is to be understood, to reasons for accepting or re-thinking the law. Editor(s): Priest, Graham; Beall, J.C.; Armour-Garb, Bradley. Num Pages: 400 pages, black & white illustrations. BIC Classification: CFA; HPK; HPL; PBCD. Category: (G) General (US: Trade). Dimension: 232 x 160 x 24. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 400
- Condition
- New
- SKU
- V9780199204199
- ISBN
- 9780199204199
Paperback
Condition: New
€ 84.66
€ 84.66
Paperback. Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Editor(s): Kaufmann, Matt; Paulson, Lawrence C. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, 82 black & white illustrations, biography. BIC Classification: MJCM; PBCD; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783642140518
- ISBN
- 9783642140518
Paperback
Condition: New
€ 126.58
€ 126.58
Paperback. This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions written by his colleagues. The articles cover a range of topics - representing only a fraction of Gurevich's multiple areas of interest. Editor(s): Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 627 pages, 49 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 24. Weight in Grams: 900.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 627
- Condition
- New
- SKU
- V9783642150241
- ISBN
- 9783642150241
Paperback
Condition: New
€ 127.45
€ 127.45