Mathematical foundations
Results 281 - 300 of 1168
Mathematical foundations
Paperback. Useful for final-year undergraduate and first-year post-graduate students, this book covers basic notions in logic, with a particular stress on proof theory. It shows how they are applied in computer science, and especially the particular field of automated deduction, ie the automated search for proofs of mathematical propositions. Series: Applied Logic Series. Num Pages: 444 pages, biography. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 1370.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 444
- Condition
- New
- SKU
- V9781402003684
- ISBN
- 9781402003684
Paperback
Condition: New
€ 68.19
€ 68.19
Paperback. Editor(s): Hendricks, Vincent F.; Pedersen, Stig Andur; Jorgensen, Klaus Frovin. Series: Synthese Library. Num Pages: 257 pages, biography. BIC Classification: HPL; PBC; PBX; PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2000
- Number of pages
- 257
- Condition
- New
- SKU
- V9789048155538
- ISBN
- 9789048155538
Paperback
Condition: New
€ 118.83
€ 118.83
Hardback. Contains papers presented at the conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark. This volume is suitable for philosophers, mathematicians, computer scientists and scholars who have no professional training in proof theory but have a general knowledge of foundational issues. Editor(s): Hendricks, Vincent F.; Pedersen, Stig Andur; Jorgensen, Klaus Frovin. Series: Synthese Library. Num Pages: 257 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 550.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 257
- Condition
- New
- SKU
- V9780792365440
- ISBN
- 9780792365440
Hardback
Condition: New
€ 123.79
€ 123.79
Paperback. Series: Dover Books on Mathematics. Num Pages: 384 pages. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 229 x 152 x 26. Weight in Grams: 622.
- Publisher
- Dover Publications Inc. United States
- Number of pages
- 384
- Format
- Paperback
- Publication date
- 2013
- Edition
- Second Edition
- Condition
- New
- SKU
- V9780486490731
- ISBN
- 9780486490731
Paperback
Condition: New
€ 27.99€ 19.22
€ 27.99
€ 19.22
Paperback. Num Pages: 190 pages, 24 black & white illustrations, biography. BIC Classification: PBC; PBH; PBK; PBM; PBP; PBV. Category: (P) Professional & Vocational. Dimension: 241 x 159 x 14. Weight in Grams: 334.
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2015
- Edition
- 2015th Edition
- Condition
- New
- SKU
- V9783319162492
- ISBN
- 9783319162492
Paperback
Condition: New
€ 61.56
€ 61.56
Paperback. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001 Editor(s): Schwichtenberg, Helmut; Steinbruggen, Ralf. Series: NATO Science Series II. Num Pages: 415 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 415
- Condition
- New
- SKU
- V9781402006081
- ISBN
- 9781402006081
Paperback
Condition: New
€ 67.87
€ 67.87
Paperback. Num Pages: 364 pages, 379 black & white illustrations, 4 black & white tables. BIC Classification: PBC. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 204 x 18. Weight in Grams: 760.
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 364
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781466567917
- ISBN
- 9781466567917
Paperback
Condition: New
€ 72.09
€ 72.09
Paperback. Editor(s): Janko, Wolfgang H.; Roubens, M. R.; Zimmermann, H.-J. Series: Theory and Decision Library: D. Num Pages: 189 pages, biography. BIC Classification: KJT; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 11. Weight in Grams: 334.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 189
- Condition
- New
- SKU
- V9789401074056
- ISBN
- 9789401074056
Paperback
Condition: New
€ 118.41
€ 118.41
Paperback. Editor(s): Voronkov, Andrei; Weidenbach, Christoph. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 457 pages, 69 black & white illustrations, biography. BIC Classification: PBCD; UYQ; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642376504
- ISBN
- 9783642376504
Paperback
Condition: New
€ 63.89
€ 63.89
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCN; PBF; PBW; UL; UMB; UMN; UMX. Category: (G) General (US: Trade). Dimension: 244 x 170 x 18. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211824467
- ISBN
- 9783211824467
Paperback
Condition: New
€ 68.83
€ 68.83
Paperback / so. Series: Springers Angewandte Informatik. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCD; UMX; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 11. Weight in Grams: 331.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211818671
- ISBN
- 9783211818671
Paperback
Condition: New
€ 82.63
€ 82.63
paperback. Editor(s): Peters, S.; Saarinen, Esa. Series: Studies in Linguistics and Philosophy. Num Pages: 262 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 14. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 1982
- Number of pages
- 262
- Condition
- New
- SKU
- V9789048183661
- ISBN
- 9789048183661
Paperback
Condition: New
€ 121.20
€ 121.20
Hardback. Editor(s): Peters, S.; Saarinen, Esa. Series: Studies in Linguistics and Philosophy. Num Pages: 262 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 297 x 210 x 15. Weight in Grams: 553.
- Format
- Hardback
- Publication date
- 1981
- Publisher
- Springer Netherlands
- Number of pages
- 262
- Condition
- New
- SKU
- V9789027713148
- ISBN
- 9789027713148
Hardback
Condition: New
€ 123.86
€ 123.86
Hardback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 304 pages, 60 black & white illustrations, 4 colour illustrations, 4 colour tables, biography. BIC Classification: PBC; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 304
- Condition
- New
- SKU
- V9783319555584
- ISBN
- 9783319555584
Hardback
Condition: New
€ 99.58
€ 99.58
Problems in Set Theory, Mathematical Logic and the Theory of Algorithm...
Lavrov, Igor; Maksimova, Larisa. Ed(S): Corsi...
Paperback. Editor(s): Corsi, Giovanna. Series: University Series in Mathematics. Num Pages: 282 pages, biography. BIC Classification: HPL; PBC; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 282
- Condition
- New
- SKU
- V9781461349570
- ISBN
- 9781461349570
Paperback
Condition: New
€ 119.18
€ 119.18
Hardback. Contains problems on such topics as Boolean algebra, k-valued logics, graphs and networks, elements of coding theory, automata theory, algorithms theory, combinatorics, Boolean minimization and logical design. This book is suitable for undergraduate students of discrete mathematics, and also to postgraduates and researchers. Series: Texts in the Mathematical Sciences. Num Pages: 424 pages, biography. BIC Classification: PBCD. Category: (G) General (US: Trade); (P) Professional & Vocational; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 791.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 424
- Condition
- New
- SKU
- V9780792340362
- ISBN
- 9780792340362
Hardback
Condition: New
€ 157.99
€ 157.99
Paperback. Characterizing probability as a linear operator rather than as a measure, this book is based on the concept of coherence, which can be framed in the most general view of conditional probability. It is useful for the readers familiar with the elementary aspects of propositional calculus, linear algebra, and analysis. Series: Trends in Logic. Num Pages: 295 pages, biography. BIC Classification: PBCD; UYA. Category: (UU) Undergraduate. Dimension: 240 x 160 x 15. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 295
- Condition
- New
- SKU
- V9781402009709
- ISBN
- 9781402009709
Paperback
Condition: New
€ 132.30
€ 132.30
Hardback. The approach to probability theory followed in this book characterizes probability as a linear operator, and is based on the concept of coherence. It is a 'flexible' and unifying tool suited for handling partial probability assessments, and conditional independence, in a way that avoids the inconsistencies related to logical dependence. Series: Trends in Logic. Num Pages: 295 pages, biography. BIC Classification: PBCD; UYA. Category: (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 295
- Condition
- New
- SKU
- V9781402009174
- ISBN
- 9781402009174
Hardback
Condition: New
€ 124.47
€ 124.47
Paperback. Series: Progress in Mathematics. Num Pages: 209 pages, 4 black & white illustrations. BIC Classification: MB; PBC; PBK. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Basel Switzerland
- Number of pages
- 209
- Condition
- New
- SKU
- V9783034897457
- ISBN
- 9783034897457
Paperback
Condition: New
€ 61.92
€ 61.92
Pristine Perspectives on Logic, Language and Computation
. Ed(S): Colinet, Margot; Katrenko, Sophia; R...
Paperback. Editor(s): Colinet, Margot; Katrenko, Sophia; Rendsvig, Rasmus K. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 277 pages, 55 black & white illustrations, biography. BIC Classification: PBC; PBD; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783662441152
- ISBN
- 9783662441152
Paperback
Condition: New
€ 62.23
€ 62.23