Mathematical foundations
Results 61 - 80 of 185
Mathematical foundations
Paperback. Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Num Pages: 302 pages, Ill. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 136 x 209 x 18. Weight in Grams: 354. An Introduction to the Metatheory of Standard First Order Logic. 302 pages, Ill. Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD. Dimension: 136 x 209 x 18. Weight: 338.
- Publisher
- University of California Press
- Number of pages
- 302
- Format
- Paperback
- Publication date
- 1996
- Edition
- New Ed
- Condition
- New
- SKU
- V9780520023567
- ISBN
- 9780520023567
Paperback
Condition: New
€ 39.76
€ 39.76
Paperback. This short guide to modern error analysis is primarily intended to be used in undergraduate laboratories in the physical sciences. No prior knowledge of statistics is assumed. The necessary concepts are introduced where needed and illustrated graphically. The book emphasises the use of computers for error calculations and data fitting. Num Pages: 160 pages, 75 b/w line illustrations. BIC Classification: PBC; PDDM. Category: (UU) Undergraduate. Dimension: 244 x 189 x 9. Weight in Grams: 354.
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 152
- Format
- Paperback
- Publication date
- 2010
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780199566334
- ISBN
- 9780199566334
Paperback
Condition: New
€ 36.23
€ 36.23
Paperback. Series: Prelude Science Classics. BIC Classification: PBC; PDZM. Category: (G) General (US: Trade). .
- Publisher
- Prelude
- Format
- Paperback
- Publication date
- 2017
- Condition
- New
- SKU
- V9781911440581
- ISBN
- 9781911440581
Paperback
Condition: New
€ 14.99€ 11.96
€ 14.99
€ 11.96
Hardcover. Editor(s): Milosav, Peter; Ercegovaca, Irene. Num Pages: 271 pages, tables & illus. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 261 x 185 x 21. Weight in Grams: 694.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 271
- Condition
- New
- SKU
- V9781606928622
- ISBN
- 9781606928622
Hardback
Condition: New
€ 275.45€ 183.27
€ 275.45
€ 183.27
Paperback. Num Pages: 424 pages, illustrations. BIC Classification: PBCD. Category: (U) Tertiary Education (US: College). Dimension: 275 x 215 x 15. Weight in Grams: 880.
- Publisher
- Pearson Education Limited United Kingdom
- Number of pages
- 422
- Format
- Paperback
- Publication date
- 2013
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9781292040646
- ISBN
- 9781292040646
Paperback
Condition: New
€ 97.83
€ 97.83
Hardback. Num Pages: 272 pages, 42 line illus. BIC Classification: PBC; PHU; PHVB; PHVG. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 187 x 261 x 22. Weight in Grams: 756.
- Publisher
- Princeton University Press
- Format
- Hardback
- Publication date
- 2016
- Condition
- New
- SKU
- V9780691170602
- ISBN
- 9780691170602
Hardback
Condition: New
€ 101.37
€ 101.37
Hardcover. A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable tool for deductive reasoning. Num Pages: 320 pages, Illustrations. BIC Classification: PBCD. Category: (UU) Undergraduate. Dimension: 239 x 164 x 20. Weight in Grams: 556.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 320
- Condition
- New
- SKU
- V9780470280744
- ISBN
- 9780470280744
Hardback
Condition: New
€ 180.03
€ 180.03
Hardback. Series: Center for the Study of Language & Information - Lecture Notes. Num Pages: 146 pages, Illustrations. BIC Classification: PBCD. Category: (U) Tertiary Education (US: College). Dimension: 236 x 157 x 17. Weight in Grams: 416.
- Format
- Hardback
- Publication date
- 1988
- Publisher
- Centre for the Study of Language & Information United States
- Edition
- 2 Rev ed
- Number of pages
- 146
- Condition
- New
- SKU
- V9780937073308
- ISBN
- 9780937073308
Hardback
Condition: New
€ 51.23
€ 51.23
Paperback. Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 190 pages. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 15. Weight in Grams: 339.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- The Center for the Study of Language and Information Publications
- Condition
- New
- SKU
- V9780937073940
- ISBN
- 9780937073940
Paperback
Condition: New
€ 39.95
€ 39.95
Hardcover. Features an approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. Using the logic of lying and truth-telling, this book introduces the informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic. Num Pages: 275 pages, black & white illustrations, black & white tables. BIC Classification: PBCD. Category: (G) General (US: Trade); (UU) Undergraduate. Dimension: 238 x 163 x 23. Weight in Grams: 570.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- A K Peters/CRC Press
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781568814438
- ISBN
- 9781568814438
Hardback
Condition: New
€ 136.92
€ 136.92
Paperback. This biography of the logician and philosopher Kurt Godel is an in-depth account to integrate details of his personal life with his work. Based on the author's intensive study of Godel's papers and surviving correspondence, the author examines the life of this driven man. Num Pages: 376 pages, black & white halftones, frontispiece. BIC Classification: BGT; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 228 x 153 x 27. Weight in Grams: 552.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 376
- Condition
- New
- SKU
- V9781568812564
- ISBN
- 9781568812564
Paperback
Condition: New
€ 58.94
€ 58.94
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
€ 57.43€ 45.34
€ 57.43
€ 45.34
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
€ 254.49
€ 254.49
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€ 17.88
€ 25.99
€ 17.88
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
€ 74.15
€ 74.15
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
€ 29.47
€ 29.47
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.33
€ 14.99
€ 11.33
Paperback. The aim of this book is to provide an exposition of both the theory and the applications of these categories at a level accessible to graduate students. Series Editor(s): Hitchin, N. J. Series: London Mathematical Society Lecture Note Series. Num Pages: 332 pages, many line drawings. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 26. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 332
- Condition
- New
- SKU
- V9780521422611
- ISBN
- 9780521422611
Paperback
Condition: New
€ 129.56
€ 129.56
Paperback. Num Pages: 300 pages, black & white illustrations. BIC Classification: PBB; PBC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 145 x 214 x 16. Weight in Grams: 408.
- Publisher
- The University of Chicago Press United States
- Number of pages
- 300
- Format
- Paperback
- Publication date
- 1989
- Edition
- Reprinted edition
- Condition
- New
- SKU
- V9780226904269
- ISBN
- 9780226904269
Paperback
Condition: New
€ 40.41
€ 40.41
Paperback. Designed for students with a desire to improve their reasoning skills and ability to read and write mathematics and symbolic languages, this book covers the process of writing proofs. The topics come from three basic unifying concepts: logic, sets, and relations. Num Pages: 454 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 195 x 27. Weight in Grams: 968.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 454
- Condition
- New
- SKU
- V9780471371229
- ISBN
- 9780471371229
Paperback
Condition: New
€ 262.30
€ 262.30