Mathematical foundations
Results 501 - 520 of 1202
Mathematical foundations
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
€ 145.07
€ 145.07
Paperback. This volume brings to the forefront some of the proponents of the mathematics of the twentieth century who have put at our disposal new and powerful instruments for investigating the reality around us. The portraits present impressive and passionate people. Editor(s): Bartocci, Claudio; Betti, Renato; Guerraggio, Angelo; Lucchetti, Roberto. Translator(s): Williams, Kim. Num Pages: 251 pages, biography. BIC Classification: PBC; PBF; PBT; PBUD; PBX; U. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 251
- Condition
- New
- SKU
- V9783642447556
- ISBN
- 9783642447556
Paperback
Condition: New
€ 50.92€ 45.72
€ 50.92
€ 45.72
hardcover. Examines the philosophical foundations of intuitionism since Oscar Becker's (1927) "Mathematische Existenz". This book examines the three most widely-known arguments for mathematical intuitionism: Brouwer's, Heyting's and Dummett's. It examines centres on the questions of the intersubjectivity of mathematics. Series: Synthese Library. Num Pages: 220 pages, 1 black & white illustrations, biography. BIC Classification: PBCD; PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 297 x 210 x 14. Weight in Grams: 494.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer United States
- Edition
- 1999th Edition
- Number of pages
- 220
- Condition
- New
- SKU
- V9780792356301
- ISBN
- 9780792356301
Hardback
Condition: New
€ 127.73
€ 127.73
Paperback. Series: Synthese Library. Num Pages: 220 pages, 1 black & white illustrations, biography. BIC Classification: HPK; HPL; PBC; PBX; PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 220
- Condition
- New
- SKU
- V9789048151875
- ISBN
- 9789048151875
Paperback
Condition: New
€ 123.67
€ 123.67
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
€ 220.07
€ 220.07
Mathematical Foundations of Scientific Visualization, Computer Graphic...
. Ed(S): Moller, Torsten; Hamann, Bernd; Russ...
Paperback. Here is a summary of cutting-edge research ideas on visualization presented at a key workshop in Banff, Canada, where new algorithms were discussed based on sophisticated modeling techniques that permit the extraction of high-level topological structures. Editor(s): Moller, Torsten; Hamann, Bernd; Russell, Robert D. Series: Mathematics and Visualization. Num Pages: 360 pages, 49 black & white illustrations, 134 colour illustrations, 15 black & white tables, biogra. BIC Classification: PBC; UG; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 360
- Condition
- New
- SKU
- V9783642064142
- ISBN
- 9783642064142
Paperback
Condition: New
€ 124.70
€ 124.70
Hardcover. Editor(s): Sati, Hisham; Schrelber, Urs. Series: Proceedings of Symposia in Pure Mathematics. Num Pages: 357 pages, Illustrations. BIC Classification: PBC; PHQ. Category: (G) General (US: Trade). Dimension: 261 x 183 x 25. Weight in Grams: 804.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- American Mathematical Society
- Condition
- New
- SKU
- V9780821851951
- ISBN
- 9780821851951
Hardback
Condition: New
€ 142.14€ 127.12
€ 142.14
€ 127.12
Mathematical Foundations of Programming Language Semantics
. Ed(S): Main, M.; Melton, Austin; Mislove, M...
Paperback. Editor(s): Main, M.; Melton, Austin; Mislove, Michael; Schmidt, David. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, 1 black & white illustrations, biography. BIC Classification: PBC; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 33. Weight in Grams: 911.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 648
- Condition
- New
- SKU
- V9783540190202
- ISBN
- 9783540190202
Paperback
Condition: New
€ 75.09
€ 75.09
Paperback. Contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS' 89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Editor(s): Kreczmar, A.; Mirkowska, G. Series: Lecture Notes in Computer Science. Num Pages: 620 pages, biography. BIC Classification: PBC; UY. Category: (P) Professional & Scholarly; (UP) Postgraduate; (UU) Undergraduate. Dimension: 235 x 155 x 31. Weight in Grams: 857.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 620
- Condition
- New
- SKU
- V9783540514862
- ISBN
- 9783540514862
Paperback
Condition: New
€ 74.33
€ 74.33
Paperback. Num Pages: 480 pages. BIC Classification: PBC; UY. Category: (U) Tertiary Education (US: College). Dimension: 180 x 236 x 22. Weight in Grams: 616.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Prentice-Hall of India Pvt.Ltd
- Edition
- 2nd Revised edition
- Condition
- New
- SKU
- V9788120351295
- ISBN
- 9788120351295
Paperback
Condition: New
€ 29.99€ 25.40
€ 29.99
€ 25.40
Paperback. Series: Monographs in Computer Science. Num Pages: 435 pages, biography. BIC Classification: PBC; PBKS; PBV; UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 667.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 435
- Condition
- New
- SKU
- V9781461277927
- ISBN
- 9781461277927
Paperback
Condition: New
€ 66.46
€ 66.46
Paperback. Editor(s): Salem Press. Num Pages: 150 pages, black & white illustrations. BIC Classification: PBC. Category: (G) General (US: Trade). Dimension: 254 x 203 x 13. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Salem Pr
- Condition
- New
- SKU
- V9781429837507
- ISBN
- 9781429837507
Paperback
Condition: New
€ 51.99€ 43.75
€ 51.99
€ 43.75
Paperback / so. Series: Unitext / La Matematica Per Il 3+2. Num Pages: black & white illustrations, bibliography. BIC Classification: PBC; PBF; PBK; PBW; UYM. Category: (G) General (US: Trade). Dimension: 234 x 156 x 29. Weight in Grams: 776.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Verlag Italy
- Edition
- 4
- Condition
- New
- SKU
- V9788847056435
- ISBN
- 9788847056435
Paperback
Condition: New
€ 48.86
€ 48.86
Paperback. Lo scopo e quello di illustrare i modelli piu importanti di un corso di matematica generale (modelli discreti, continui, a una o piu dimensioni, statici o dinamici). Il "target" e lo studente di un corso di laurea in economia." Series: UNITEXT. Num Pages: IX, 527 pagg. BIC Classification: PBCN; PBF; PBKJ; PBW; UMB; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 28. Weight in Grams: 748.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer Verlag Italy
- Condition
- New
- SKU
- V9788847002586
- ISBN
- 9788847002586
Paperback
Condition: New
€ 45.18
€ 45.18
Paperback. Num Pages: 160 pages, black & white illustrations, bibliography. BIC Classification: PBCN; PBF; PBK. Category: (G) General (US: Trade). Dimension: 234 x 156 x 8. Weight in Grams: 235.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Verlag Italy
- Number of pages
- 160
- Condition
- New
- SKU
- V9788847000797
- ISBN
- 9788847000797
Paperback
Condition: New
€ 26.59
€ 26.59
Martin Davis on Computability, Computational Logic, and Mathematical F...
. Ed(S): Omodeo, Eugenio G.; Policriti, Alber...
Hardback. Editor(s): Omodeo, Eugenio G.; Policriti, Alberto. Series: Outstanding Contributions to Logic. Num Pages: 438 pages, 25 black & white illustrations, 2 colour illustrations, biography. BIC Classification: HPL; PBCD; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 859.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 438
- Condition
- New
- SKU
- V9783319418414
- ISBN
- 9783319418414
Hardback
Condition: New
€ 178.62
€ 178.62
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
€ 53.28
€ 53.28
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
€ 31.99€ 25.44
€ 31.99
€ 25.44
Hardcover. Series: Atlantis Studies in Computing. Num Pages: 166 pages, 15 black & white tables, biography. BIC Classification: PBCD; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 15. Weight in Grams: 400.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Atlantis Press United Kingdom
- Edition
- 2013th Edition
- Number of pages
- 168
- Condition
- New
- SKU
- V9789491216947
- ISBN
- 9789491216947
Hardback
Condition: New
€ 64.78
€ 64.78
Paperback. The proceedings of an international workshop which discusses such topics as automated theorem proving, the logical foundations of logic programming, systems of nonmonotonic reasoning, temporal and epistemic logics, belief revision and modal logics for representing graph information. Editor(s): Pearce, David; Wagner, G. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 1310.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783540558873
- ISBN
- 9783540558873
Paperback
Condition: New
€ 69.68
€ 69.68