.png){kind=logo}
Mathematical foundations
Results 621 - 640 of 1148
Mathematical foundations
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
€ 252.43
€ 252.43
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
€ 252.02
€ 252.02
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
€ 127.90
€ 127.90
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.49
€ 25.99
€ 19.49
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
€ 74.27
€ 74.27
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
€ 130.88
€ 130.88
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
€ 212.06
€ 212.06
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
€ 110.84
€ 110.84
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
€ 68.61
€ 68.61
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
€ 68.68
€ 68.68
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
€ 198.02
€ 198.02
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 340 pages, biography. BIC Classification: PBC; PBD; UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783642048920
- ISBN
- 9783642048920
Paperback
Condition: New
€ 67.45
€ 67.45
Paperback. Constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. This title covers such topics as: semantic models for knowledge, for belief, and for uncertainty; logical analysis of the structure of games; and, belief revision, belief merging. Editor(s): Ditmarsch, Hans van; Lang, Jerome; Ju, Shier. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 414 pages, biography. BIC Classification: HPL; PBC; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 414
- Condition
- New
- SKU
- V9783642241291
- ISBN
- 9783642241291
Paperback
Condition: New
€ 68.13
€ 68.13
Paperback. Editor(s): Grossi, Davide; Roy, Olivier; Huang, Huaxin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 375 pages, 41 black & white illustrations, biography. BIC Classification: PBC; PBD; UM; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 375
- Condition
- New
- SKU
- V9783642409479
- ISBN
- 9783642409479
Paperback
Condition: New
€ 67.75
€ 67.75
Paperback. Editor(s): Hoek, Wiebe van der; Holliday, Wesley; Wang, Wen-Fang. Series: Lecture Notes in Computer Science. Num Pages: 439 pages, 31 colour illustrations, biography. BIC Classification: PBC; PBD; UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 439
- Condition
- New
- SKU
- V9783662485606
- ISBN
- 9783662485606
Paperback
Condition: New
€ 68.08
€ 68.08
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.25€ 46.08
€ 58.25
€ 46.08
Paperback. Editor(s): Albert, Elvira. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 245 pages, 36 black & white illustrations, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783642381966
- ISBN
- 9783642381966
Paperback
Condition: New
€ 85.74
€ 85.74
Paperback. Suitable for undergraduate students of computer science and mathematics, this title gives a proof of Godel's completeness theorem and its main consequences using Robinson's completeness theorem and Godel's compactness theorem for propositional logic. Series: Unitext / La Matematica Per Il 3+2. Num Pages: 141 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 6. Weight in Grams: 266.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag Italy
- Edition
- 2012
- Number of pages
- 141
- Condition
- New
- SKU
- V9788847023604
- ISBN
- 9788847023604
Paperback
Condition: New
€ 66.95
€ 66.95
Logica: Volume 1 - Dimostrazioni e modelli al primo ordine (UNITEXT / ...
Abrusci, Vito Michele, Tortora de Falco, Lore...
Paperback.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9788847055377
- ISBN
- 9788847055377
Paperback
Condition: New
€ 50.37
€ 50.37
paperback. Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. This title presents 31 revised refereed papers that were selected by the program committee. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 480 pages, biography. BIC Classification: PBC; UMB; UMX; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 736.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2009th Edition
- Number of pages
- 480
- Condition
- New
- SKU
- V9783540926863
- ISBN
- 9783540926863
Paperback
Condition: New
€ 68.83
€ 68.83