Mathematical foundations
Results 101 - 120 of 175
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
€ 56.03
€ 56.03
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
€ 51.45
€ 51.45
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
€ 58.49
€ 58.49
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
€ 80.54€ 79.41
€ 80.54
€ 79.41
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
€ 48.99€ 31.29
€ 48.99
€ 31.29
Hardback. Series: Undergraduate Texts in Mathematics. Num Pages: 646 pages, 85 black & white illustrations, 10 colour illustrations, biography. BIC Classification: PBC; PBF; PBMW; UFM. Category: (G) General (US: Trade). Dimension: 246 x 165 x 30. Weight in Grams: 1066.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2015
- Edition
- 4th ed. 2015
- Condition
- New
- SKU
- V9783319167206
- ISBN
- 9783319167206
Hardback
Condition: New
€ 52.17
€ 52.17
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.13
€ 78.13
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
€ 56.19€ 43.75
€ 56.19
€ 43.75
Paperback. .
- Publisher
- Taylor & Francis Inc
- Format
- Paperback
- Publication date
- 2015
- Edition
- 4th Edition
- Condition
- New
- SKU
- V9781498722926
- ISBN
- 9781498722926
Paperback
Condition: New
€ 60.16
€ 60.16
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
€ 59.64
€ 59.64
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
€ 66.56€ 60.08
€ 66.56
€ 60.08
Hardback. .
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 2nd ed. 2016
- Condition
- New
- SKU
- V9783319234878
- ISBN
- 9783319234878
Hardback
Condition: New
€ 60.98€ 60.63
€ 60.98
€ 60.63
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
€ 12.10
€ 12.10
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€ 27.67
€ 38.99
€ 27.67
paperback. Provides readers with experience of working on difficult unsolved problems. No deep mathematical background is required. Series: Aims Library of Mathematical Sciences. Num Pages: 126 pages, 20 b/w illus. 120 exercises. BIC Classification: PBB; PBC. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 141 x 216 x 15. Weight in Grams: 166.
- Publisher
- Cambridge University Press
- Format
- Paperback
- Publication date
- 2016
- Edition
- Illustrated
- Condition
- New
- SKU
- V9781316610565
- ISBN
- 9781316610565
Paperback
Condition: New
€ 25.99€ 23.89
€ 25.99
€ 23.89
Hardback. Series: Discrete Mathematics and Its Applications. Num Pages: 513 pages, 28 black & white illustrations. BIC Classification: PBCD. Category: (UU) Undergraduate. Dimension: 245 x 163 x 30. Weight in Grams: 856.
- Publisher
- Apple Academic Press Inc.
- Format
- Hardback
- Publication date
- 2015
- Edition
- 6th Edition
- Condition
- New
- SKU
- V9781482237726
- ISBN
- 9781482237726
Hardback
Condition: New
€ 130.27
€ 130.27
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
€ 25.99€ 23.10
€ 25.99
€ 23.10
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.06€ 43.74
€ 55.06
€ 43.74
Hardback. Series: Pure and Applied Undergraduate Texts. Num Pages: 217 pages. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 266 x 187 x 18. Weight in Grams: 566.
- Publisher
- American Mathematical Society
- Format
- Hardback
- Publication date
- 2016
- Condition
- New
- SKU
- V9781470428990
- ISBN
- 9781470428990
Hardback
Condition: New
€ 105.30
€ 105.30
Paperback. Series: Dover Books on Mathematics. Num Pages: 80 pages. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 204 x 153 x 5. Weight in Grams: 92.
- Publisher
- Dover Publications Inc. United States
- Number of pages
- 80
- Format
- Paperback
- Publication date
- 2003
- Edition
- New ed
- Condition
- New
- SKU
- V9780486669809
- ISBN
- 9780486669809
Paperback
Condition: New
€ 13.99€ 10.53
€ 13.99
€ 10.53