Mathematical foundations
Results 745 - 768 of 863
Mathematical foundations
Paperback. Set Theory Series: Universitext. Num Pages: 332 pages, 10 black & white illustrations, biography. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 158 x 236 x 18. Weight in Grams: 536.
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2014
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319067247
- ISBN
- 9783319067247
Paperback
Condition: New
€ 101.08
€ 101.08
Paperback / so. Parallele Rechenleistung ist allgegenwartig, wird jedoch nur durch parallele Programmiertechniken effizient. Dies wirkt sich auf die Softwareerstellung aus. Ausfuhrliche, exakte Anleitung zur erfolgreichen Realisierung effizienter Programme.." Series: eXamen.Press. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCN; TBC; UK; UMX; UT; UY. Category: (G) General (US: Trade). Dimension: 231 x 155 x 28. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 3
- Condition
- New
- SKU
- V9783642136030
- ISBN
- 9783642136030
Paperback
Condition: New
€ 50.34
€ 50.34
Paperback. In this entertaining and challenging collection of logic puzzles, Raymond Smullyan-author of Forever Undecided-continues to delight and astonish us with his gift for making available, in the thoroughly pleasurable form of puzzles, some of the most important mathematical thinking of our time. Num Pages: 256 pages. BIC Classification: PBCD; WDK. Category: (G) General (US: Trade). Dimension: 196 x 130 x 16. Weight in Grams: 190.
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 256
- Format
- Paperback
- Publication date
- 2000
- Condition
- New
- SKU
- V9780192801425
- ISBN
- 9780192801425
Paperback
Condition: New
€ 17.99€ 14.17
€ 17.99
€ 14.17
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
€ 135.77
€ 135.77
Paperback. A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Series: Studies in Universal Logic. Num Pages: 387 pages, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 20. Weight in Grams: 624.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 387
- Condition
- New
- SKU
- V9783764387075
- ISBN
- 9783764387075
Paperback
Condition: New
€ 123.39
€ 123.39
Paperback. Series: Theory and Applications of Transport in Porous Media. Num Pages: 282 pages, biography. BIC Classification: PBC; RBK; TNCC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 419.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 282
- Condition
- New
- SKU
- V9789048168064
- ISBN
- 9789048168064
Paperback
Condition: New
€ 121.93
€ 121.93
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€ 32.41
€ 49.99
€ 32.41
Hardcover. The primary purpose of this text is to introduce math majors, who have completed a calculus sequence, to the axiomatic makeup of modern mathematics. Heavy emphasis is placed on the writing of clear and understandable proofs. Series: Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts. Num Pages: 318 pages, , black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 243 x 163 x 20. Weight in Grams: 580.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 318
- Condition
- New
- SKU
- V9780470042953
- ISBN
- 9780470042953
Hardback
Condition: New
€ 166.30
€ 166.30
Hardback. Relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. This book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. Num Pages: 544 pages, 20 line illus. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 178 x 30. Weight in Grams: 1142.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Princeton University Press United States
- Number of pages
- 546
- Condition
- New
- SKU
- V9780691123004
- ISBN
- 9780691123004
Hardback
Condition: New
€ 88.41€ 68.15
€ 88.41
€ 68.15
Paperback. Series: Synthese Library. Num Pages: 210 pages, biography. BIC Classification: HPCF3; HPL; PBC; PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1989
- Number of pages
- 210
- Condition
- New
- SKU
- V9789401075299
- ISBN
- 9789401075299
Paperback
Condition: New
€ 216.85
€ 216.85
Hardcover. .
- Publisher
- Springer Netherlands
- Number of pages
- 262
- Format
- Hardback
- Publication date
- 1981
- Edition
- 1981st Edition
- Condition
- New
- SKU
- V9789027712783
- ISBN
- 9789027712783
Hardback
Condition: New
€ 219.69
€ 219.69
Paperback. Series: International Series in Intelligent Technologies. Num Pages: 260 pages, biography. BIC Classification: KJT; PBCD; PBKA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 260
- Condition
- New
- SKU
- V9789401060400
- ISBN
- 9789401060400
Paperback
Condition: New
€ 237.44
€ 237.44
Paperback. .
- Publisher
- Dover Publications Inc. United States
- Number of pages
- 576
- Format
- Paperback
- Publication date
- 2006
- Edition
- Revised ed.
- Condition
- New
- SKU
- V9780486450261
- ISBN
- 9780486450261
Paperback
Condition: New
€ 36.99€ 24.54
€ 36.99
€ 24.54
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
€ 32.99€ 25.76
€ 32.99
€ 25.76
Hardcover. .
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783642319327
- ISBN
- 9783642319327
Hardback
Condition: New
€ 102.07
€ 102.07
Paperback. Series: Perspectives in Mathematical Logic. Num Pages: 437 pages, biography. BIC Classification: PBCD; PBCH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 437
- Condition
- New
- SKU
- V9783540666813
- ISBN
- 9783540666813
Paperback
Condition: New
€ 134.68
€ 134.68
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
€ 101.96
€ 101.96
Hardcover. The only text available on graph theory at the freshman/sophomore level, it covers properties of graphs, presents numerous algorithms, and describes actual applications to chemistry, genetics, music, linguistics, control theory and the social sciences. Illustrated. Num Pages: 352 pages, graphs, maps. BIC Classification: PBC. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 259 x 176 x 22. Weight in Grams: 742.
- Format
- Hardback
- Publication date
- 1990
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 352
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780471615545
- ISBN
- 9780471615545
Hardback
Condition: New
€ 220.81
€ 220.81
Paperback. Series: Scientific Computation. Num Pages: 510 pages, biography. BIC Classification: PBCN; PBUH; PHU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1984
- Number of pages
- 510
- Condition
- New
- SKU
- V9783662126158
- ISBN
- 9783662126158
Paperback
Condition: New
€ 123.95
€ 123.95
Paperback. Series: Synthese Library. Num Pages: 395 pages, biography. BIC Classification: HPL; PBC; PDA; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1999
- Number of pages
- 395
- Condition
- New
- SKU
- V9789048152988
- ISBN
- 9789048152988
Paperback
Condition: New
€ 186.06
€ 186.06
The Parametric Lambda Calculus. A Meta-Model for Computation.
Ronchi Della Rocca, Simona; Paolini, Luca
Hardback. Contains a presentation of classical results in the field of Lambda Calculus. This text presents a calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 262 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 520.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 262
- Condition
- New
- SKU
- V9783540200321
- ISBN
- 9783540200321
Hardback
Condition: New
€ 68.79
€ 68.79
Paperback / so. Series: Springer-Lehrbuch. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: KFF; PBCN; PBF; PBW. Category: (G) General (US: Trade). Dimension: 244 x 170 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2
- Condition
- New
- SKU
- V9783662502983
- ISBN
- 9783662502983
Paperback
Condition: New
€ 38.20
€ 38.20
Paperback. Series: Synthese Library. Num Pages: 474 pages, biography. BIC Classification: CFX; HPL; PBC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 753.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1988
- Number of pages
- 474
- Condition
- New
- SKU
- V9789401569446
- ISBN
- 9789401569446
Paperback
Condition: New
€ 355.26
€ 355.26
Hardback. Editor(s): Cooper, S. Barry. Series: Theory and Applications of Computability. Num Pages: 292 pages, 10 black & white illustrations, biography. BIC Classification: PBC; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 292
- Condition
- New
- SKU
- V9783319436678
- ISBN
- 9783319436678
Hardback
Condition: New
€ 154.57
€ 154.57