Mathematical foundations
Results 1101 - 1120 of 1200
Mathematical foundations
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.46
€ 59.46
Paperback. Offers a presentation of classical first-order logic. This book presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague. Num Pages: 528 pages, 0. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 150 x 231 x 28. Weight in Grams: 708.
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 528
- Format
- Paperback
- Publication date
- 2002
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780631227137
- ISBN
- 9780631227137
Paperback
Condition: New
€ 52.60
€ 52.60
Paperback. This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking. Num Pages: 361 pages, 79 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 237 x 166 x 19. Weight in Grams: 568.
- Publisher
- Springer London Ltd
- Format
- Paperback
- Publication date
- 2012
- Edition
- 3rd ed. 2012
- Condition
- New
- SKU
- V9781447141280
- ISBN
- 9781447141280
Paperback
Condition: New
€ 75.58
€ 75.58
Hardcover. "Cyclic Homology, 2nd Edition" includes a chapter on MacLane (co)homology, which is compared with a variant of algebraic K-theory called stable K-theory. The main tool used for this comparison is a third theory constructed from derived functors over the category of polynomial functors. Series: Die Grundlehren der Mathematischen Wissenschaften. Num Pages: 535 pages, biography. BIC Classification: PBC; PBH; PBPD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 929.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 1997
- Edition
- 2nd
- Condition
- New
- SKU
- V9783540630746
- ISBN
- 9783540630746
Hardback
Condition: New
€ 185.74
€ 185.74
Paperback. In this book, first published in 2003, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra. Num Pages: 276 pages, 84 b/w illus. 219 exercises. BIC Classification: PBCH. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 255 x 179 x 15. Weight in Grams: 516.
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 276
- Format
- Paperback
- Publication date
- 2003
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780521010603
- ISBN
- 9780521010603
Paperback
Condition: New
€ 61.96
€ 61.96
Hardback. Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer belonged to a special class of genius and was one of the key players in topology. This book details of the life and work of this complex and often controversial genius. Num Pages: 875 pages, 78 black & white illustrations, 19 colour illustrations, biography. BIC Classification: PBC; PBP; PBX; PDZ. Category: (P) Professional & Vocational. Dimension: 242 x 161 x 40. Weight in Grams: 1360.
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 853
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9781447146155
- ISBN
- 9781447146155
Hardback
Condition: New
€ 84.06€ 77.17
€ 84.06
€ 77.17
Paperback. Series: Dover Books on Mathematics. Num Pages: 512 pages, black & white illustrations. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 236 x 156 x 25. Weight in Grams: 644.
- Publisher
- Dover Publications Inc. United States
- Number of pages
- 512
- Format
- Paperback
- Publication date
- 2013
- Edition
- Reprint
- Condition
- New
- SKU
- V9780486497853
- ISBN
- 9780486497853
Paperback
Condition: New
€ 49.99€ 31.96
€ 49.99
€ 31.96
Paperback. Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative, friendly, and effective introduction to logic. It integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics. Illustrator(s): Altreuter, Emily. Num Pages: 608 pages, ill. BIC Classification: HP; PBCD. Category: (P) Professional & Vocational. Dimension: 246 x 190 x 20. Weight in Grams: 788.
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 424
- Format
- Paperback
- Publication date
- 2011
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781444337150
- ISBN
- 9781444337150
Paperback
Condition: New
€ 78.67
€ 78.67
Paperback. .
- Publisher
- Taylor & Francis Inc
- Format
- Paperback
- Publication date
- 2015
- Edition
- 4th Edition
- Condition
- New
- SKU
- V9781498722926
- ISBN
- 9781498722926
Paperback
Condition: New
€ 63.22
€ 63.22
Hardcover. .
- Publisher
- Elsevier Science & Technology United States
- Number of pages
- 330
- Format
- Hardback
- Publication date
- 1983
- Edition
- New ed
- Condition
- New
- SKU
- V9780444868398
- ISBN
- 9780444868398
Hardback
Condition: New
€ 61.52
€ 61.52
Hardback. In these selected essays, Charles Parsons surveys the contributions of philosophers and mathematicians who shaped the philosophy of mathematics over the past century: Brouwer, Hilbert, Bernays, Weyl, Godel, Russell, Quine, Putnam, Wang, and Tait. Num Pages: 368 pages. BIC Classification: HPCF5; HPL; PBCD; PBX. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 243 x 156 x 29. Weight in Grams: 700.
- Publisher
- Harvard University Press
- Format
- Hardback
- Publication date
- 2014
- Condition
- New
- SKU
- V9780674728066
- ISBN
- 9780674728066
Hardback
Condition: New
€ 67.53€ 61.43
€ 67.53
€ 61.43
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.58
€ 62.58
Paperback. Ada's Algorithm tells the story of Ada Lovelace's turbulent life, and tells through the story of her life how she could have started the digital revolution two centuries ago but was thwarted by the then prevalent disregard for the intelligence of women. Num Pages: 256 pages. BIC Classification: 1DBK; 3JH; BGH; PBC; PDZ. Category: (G) General (US: Trade). Dimension: 198 x 129. .
- Publisher
- Gibson Square Books Ltd
- Format
- Paperback
- Publication date
- 2016
- Condition
- New
- SKU
- V9781783340712
- ISBN
- 9781783340712
Paperback
Condition: New
€ 14.99€ 12.05
€ 14.99
€ 12.05
Hardcover. Extremal Combinatorics provides a concise, up-to-date introduction to extremal combinatorics for nonspecialists. The text emphasizes theorems with particularly elegant and informative proofs, and presents a wide range of combinatorial tools. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 412 pages, biography. BIC Classification: PBC; PBKS; PBV; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 812.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Format
- Hardback
- Publication date
- 2011
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9783642173639
- ISBN
- 9783642173639
Hardback
Condition: New
€ 114.32
€ 114.32
Paperback. Provides a series of case studies that introduces students to data analysis. Including a summary of the theory needed to do the analyses, this book provides an introduction to modern statistical practice. Series: Springer Texts in Statistics. Num Pages: 301 pages, biography. BIC Classification: PBCD; PBT; PBW. Category: (UU) Undergraduate. Dimension: 234 x 156 x 16. Weight in Grams: 440.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2001
- Condition
- New
- SKU
- V9780387989747
- ISBN
- 9780387989747
Paperback
Condition: New
€ 115.16
€ 115.16
Hardcover. Praise for William Dunham s Journey Through Genius The Great Theorems of Mathematics "Dunham deftly guides the reader through the verbal and logical intricacies of major mathematical questions and proofs, conveying a splendid sense of how the greatest mathematicians from ancient to modern times presented their arguments. Num Pages: 320 pages, illustrations; portraits. BIC Classification: PBB; PBC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 230 x 158 x 28. Weight in Grams: 638.
- Publisher
- Wiley
- Number of pages
- 320
- Format
- Hardback
- Publication date
- 1990
- Edition
- 1st
- Condition
- New
- SKU
- V9780471500308
- ISBN
- 9780471500308
Hardback
Condition: New
€ 38.99€ 28.22
€ 38.99
€ 28.22
Paperback. In the second century, some Gnostic Christians used numerical structures to describe God, interpret the Bible, and frame the universe. The Theology of Arithmetic explores the rich variety of number symbolism used by gnosticizing groups and their orthodox critics, and shows how earlier neo-Pythagorean and Platonist thought influenced this theology. Series: Hellenic Studies Series. Num Pages: 250 pages, 6 line illustrations, 1 halftone. BIC Classification: HRAM3; HRKP; HRQC1; PBC. Category: (G) General (US: Trade). Dimension: 228 x 155 x 13. Weight in Grams: 346.
- Publisher
- Harvard University, Center for Hellenic Studies United States
- Number of pages
- 250
- Format
- Paperback
- Publication date
- 2013
- Condition
- New
- SKU
- V9780674073302
- ISBN
- 9780674073302
Paperback
Condition: New
€ 26.99€ 23.25
€ 26.99
€ 23.25
Paperback. Einstein's equations stem from General Relativity. In the context of Riemannian manifolds, an independent mathematical theory has developed around them. This volume offers an introduction to modern Riemannian geometry through topics like homogeneous spaces, submersions, or Riemannian functionals. Series: Classics in Mathematics. Num Pages: 510 pages, biography. BIC Classification: PBC; PBMS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 160 x 31. Weight in Grams: 810.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2007
- Edition
- Reprint of the 1st ed. Berlin Heidelberg New York
- Condition
- New
- SKU
- V9783540741206
- ISBN
- 9783540741206
Paperback
Condition: New
€ 77.07
€ 77.07
This updated and revised second edition is designed to help students advance from basic calculus to higher-level linear and abstract algebra and number theory. It introduces an array of fundamental structures and shows how to balance intuition and rigor. Series: Undergraduate Texts in Mathematics. Num Pages: 401 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 263 x 186 x 27. Weight in Grams: 918.
- Number of pages
- 401
- Publisher
- Springer-Verlag New York Inc. United States
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2 Rev ed
- Condition
- New
- SKU
- V9781461442646
- ISBN
- 9781461442646
Hardback
Condition: New
€ 73.20
€ 73.20
Paperback. Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this title covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. It presents relevance logic with applications. Num Pages: 344 pages, 7 line illus. 10 tables. BIC Classification: HPL; PBCD; UY. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 252 x 178 x 21. Weight in Grams: 728.
- Publisher
- Princeton University Press United States
- Number of pages
- 352
- Format
- Paperback
- Publication date
- 2014
- Condition
- New
- SKU
- V9780691160443
- ISBN
- 9780691160443
Paperback
Condition: New
€ 55.93€ 44.05
€ 55.93
€ 44.05