Mathematical foundations
Results 541 - 560 of 1202
Mathematical foundations
Paperback. Editor(s): Anderson, C.Anthony; Zeleny, Michael. Series: Synthese Library. Num Pages: 627 pages, biography. BIC Classification: CFA; HPL; PBC. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 34. Weight in Grams: 1036.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 627
- Condition
- New
- SKU
- V9789401038911
- ISBN
- 9789401038911
Paperback
Condition: New
€ 192.27
€ 192.27
Paperback. Editor(s): Vaananen, Jouko; Hirvonen, Asa; Queiroz, Ruy de. Series: Lecture Notes in Computer Science. Num Pages: 469 pages, 32 black & white illustrations, biography. BIC Classification: PBCD; UMB; UYA; UYQM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 718.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 469
- Condition
- New
- SKU
- V9783662529201
- ISBN
- 9783662529201
Paperback
Condition: New
€ 66.46
€ 66.46
Paperback. Editor(s): Ohlbach, Hans Jurgen; Reyle, U. Series: Trends in Logic. Num Pages: 429 pages, biography. BIC Classification: CFX; HPL; PBC; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 23. Weight in Grams: 704.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 429
- Condition
- New
- SKU
- V9789401059367
- ISBN
- 9789401059367
Paperback
Condition: New
€ 66.69
€ 66.69
Hardback. The book extends the development of probability logic-a logic using probability, not verity (true, false) as the basic semantic notion. The basic connectives "not," "and," and "or" are described in depth to include quantified formulas. Also discussed is the notion of the suppositional and resolution of the paradox of confirmation. Num Pages: 126 pages, Illustrations. BIC Classification: PBCD; PBT. Category: (G) General (US: Trade). Dimension: 239 x 162 x 14. Weight in Grams: 342.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Lehigh University Press United States
- Number of pages
- 126
- Condition
- New
- SKU
- V9781611460100
- ISBN
- 9781611460100
Hardback
Condition: New
€ 105.82
€ 105.82
Hardcover. A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic.. ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Series: Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts. Num Pages: 272 pages, index. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 162 x 22. Weight in Grams: 562.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 272
- Condition
- New
- SKU
- V9780471060260
- ISBN
- 9780471060260
Hardback
Condition: New
€ 206.03
€ 206.03
Paperback. Editor(s): Moschovakis, Yiannis N. Series: Mathematical Sciences Research Institute Publications. Num Pages: 608 pages, biography. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 608
- Condition
- New
- SKU
- V9781461276852
- ISBN
- 9781461276852
Paperback
Condition: New
€ 127.18
€ 127.18
Paperback. This title is organized in topical sections on nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming. Editor(s): Parigot, Michel; Voronkov, Andrei. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 504 pages, biography. BIC Classification: PBCD; UMX; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 705.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 504
- Condition
- New
- SKU
- V9783540412854
- ISBN
- 9783540412854
Paperback
Condition: New
€ 72.21
€ 72.21
Paperback. Logic concepts are more mainstream than you may realize. There's logic every place you look and in almost everything you do, from deciding which shirt to buy to asking your boss for a raise, and even to watching television, where themes of such shows as CSI and Numbers incorporate a variety of logistical studies. Num Pages: 388 pages, illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 229 x 187 x 28. Weight in Grams: 578.
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 388
- Format
- Paperback
- Publication date
- 2006
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780471799412
- ISBN
- 9780471799412
Paperback
Condition: New
€ 25.99€ 19.13
€ 25.99
€ 19.13
Paperback. Editor(s): De Queiroz, R. J. Series: Trends in Logic. Num Pages: 285 pages, biography. BIC Classification: HPL; PBCD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 285
- Condition
- New
- SKU
- V9789401740005
- ISBN
- 9789401740005
Paperback
Condition: New
€ 123.79
€ 123.79
Paperback. Dirk van Dalen's popular textbook, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Godel's famous incompleteness theorem. Includes a new section on ultra-products. Series: Universitext. Num Pages: 273 pages, 27 black & white illustrations, 1 black & white tables, biography. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 15. Weight in Grams: 420.
- Publisher
- Springer London Ltd United Kingdom
- Format
- Paperback
- Publication date
- 2012
- Edition
- 5th ed. 2013
- Condition
- New
- SKU
- V9781447145578
- ISBN
- 9781447145578
Paperback
Condition: New
€ 90.32
€ 90.32
Paperback. Editor(s): Dalla Chiara, Maria Luisa; Doets, Kees; Mundici, Daniele; Benthem, Johan van. Series: Synthese Library. Num Pages: 534 pages, biography. BIC Classification: HPL; PBC; PDA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 534
- Condition
- New
- SKU
- V9789048147861
- ISBN
- 9789048147861
Paperback
Condition: New
€ 242.24
€ 242.24
Hardback. A collection of essays on artificial intelligence, natural language semantics and the philosophy of mind and language. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 210 pages, Illustrations. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 156 x 238 x 14. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Centre for the Study of Language & Information United States
- Edition
- 74
- Number of pages
- 210
- Condition
- New
- SKU
- V9781881526162
- ISBN
- 9781881526162
Hardback
Condition: New
€ 77.73
€ 77.73
Paperback. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science Editor(s): Prawitz, Dag; Westerstahl, Dag. Series: Synthese Library. Num Pages: 614 pages, biography. BIC Classification: CFA; HB; HPL; PBC; PDA. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 32. Weight in Grams: 829.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1994
- Number of pages
- 614
- Condition
- New
- SKU
- V9789048143658
- ISBN
- 9789048143658
Paperback
Condition: New
€ 244.20
€ 244.20
Hardback. This text focuses on the first ten years of Edmund Husserl's work, from the publication of his Philosophy of Arithmetic to that of Logical Investigations. It aims to locate this work in the fields of logic, philosophy of logic and philosophy of mathematics. Series: Synthese Library. Num Pages: 232 pages, biography. BIC Classification: HPCF3; HPK; HPL; PBC; PDA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 1190.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer Netherlands
- Number of pages
- 232
- Condition
- New
- SKU
- V9789048132454
- ISBN
- 9789048132454
Hardback
Condition: New
€ 128.37
€ 128.37
paperback. This is a concise, readable introduction to the science and art of using modeling in logic for integer programming. References for further study are given at the end of each chapter, exercises are included, and applications in diverse fields are discussed. Series: International Series in Operations Research & Management Science. Num Pages: 200 pages, 41 black & white illustrations, 12 black & white tables, biography. BIC Classification: KJT; PBCD; PBF; PBW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 251.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 200
- Condition
- New
- SKU
- V9781441947130
- ISBN
- 9781441947130
Paperback
Condition: New
€ 65.09
€ 65.09
Paperback. Editor(s): Cantini, Andrea; Casari, Ettore; Minari, Pierluigi. Series: Synthese Library. Num Pages: 284 pages, biography. BIC Classification: HPL; PBC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1999
- Number of pages
- 284
- Condition
- New
- SKU
- V9789048152018
- ISBN
- 9789048152018
Paperback
Condition: New
€ 123.70
€ 123.70
Hardback. Contains papers which represent a combination of technical results in pure and applied logic. This volume also includes papers devoted to conceptual analysis rooted in research. It is suitable to logical specialists and scholars interested in critical reflections on the foundations of logic, mathematics and computer science. Editor(s): Cantini, Andrea; Casari, Ettore; Minari, Pierluigi. Series: Synthese Library. Num Pages: 284 pages, biography. BIC Classification: PBCD; PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 284
- Condition
- New
- SKU
- V9780792356592
- ISBN
- 9780792356592
Hardback
Condition: New
€ 128.89
€ 128.89
Paperback. Solutions manual to accompany Num Pages: 194 pages. BIC Classification: PBCD; PBD. Category: (P) Professional & Vocational. Dimension: 243 x 189 x 11. Weight in Grams: 396.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 194
- Condition
- New
- SKU
- V9781118762677
- ISBN
- 9781118762677
Paperback
Condition: New
€ 24.13
€ 24.13
Paperback. Series: Discrete Mathematics and Theoretical Computer Science. Num Pages: 371 pages, biography. BIC Classification: PBCD; PBD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 20. Weight in Grams: 534.
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 371
- Format
- Paperback
- Publication date
- 2012
- Edition
- Softcover reprint of the original 1st ed. 2004
- Condition
- New
- SKU
- V9781447110521
- ISBN
- 9781447110521
Paperback
Condition: New
€ 199.07
€ 199.07
Paperback. If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, this work takes the reader through the whole gamut of logical expressions in a simple way. Num Pages: 304 pages, line drawings, diagrams, tables, further reading, index. BIC Classification: HPL; PBCD; PDZM. Category: (G) General (US: Trade). Dimension: 198 x 128 x 14. Weight in Grams: 216.
- Publisher
- Penguin Books Ltd United Kingdom
- Number of pages
- 304
- Format
- Paperback
- Publication date
- 2001
- Edition
- 2Rev Ed
- Condition
- New
- SKU
- V9780141003146
- ISBN
- 9780141003146
Paperback
Condition: New
€ 14.99€ 11.72
€ 14.99
€ 11.72