.png){kind=logo}
Mathematical foundations
Results 481 - 500 of 1147
Mathematical foundations
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
€ 52.70€ 47.17
€ 52.70
€ 47.17
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
€ 131.99
€ 131.99
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
€ 127.78
€ 127.78
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
€ 226.65
€ 226.65
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
€ 128.39
€ 128.39
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
€ 159.89
€ 159.89
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
€ 77.23
€ 77.23
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
€ 76.50
€ 76.50
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
€ 68.35
€ 68.35
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
€ 50.70
€ 50.70
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
€ 46.89
€ 46.89
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
€ 27.53
€ 27.53
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
€ 185.46
€ 185.46
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€ 26.09
€ 32.99
€ 26.09
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
€ 66.95
€ 66.95
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
€ 72.62
€ 72.62
Paperback. Editor(s): Chomicki, Jan; Meyden, Ron Van Der; Saake, Gunter. Num Pages: 368 pages, 3 black & white tables, biography. BIC Classification: PBCD; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 368
- Condition
- New
- SKU
- V9783642622489
- ISBN
- 9783642622489
Paperback
Condition: New
€ 128.65
€ 128.65
Paperback. This book covers general logical tools for handling change. The tools are preferential reasoning, theory revision and reasoning in inheritance systems. Logics examined are nonmonotonic, deontic, modal, intuitionistic and temporal as well as counterfactuals. Series: Cognitive Technologies. Num Pages: 305 pages, 26 black & white illustrations, biography. BIC Classification: HPL; PBCD; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 305
- Condition
- New
- SKU
- V9783642261879
- ISBN
- 9783642261879
Paperback
Condition: New
€ 194.25
€ 194.25
Logical Thinking in the Pyramidal Schema of Concepts: the Logical and ...
Geldsetzer, Lutz; Schwartz, Richard L.
Paperback. This book proposes a new way of formalizing in logic and mathematics - a "pyramidal graph system," devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema. Num Pages: 184 pages, black & white illustrations, bibliography. BIC Classification: HPL; PBC; UYA. Category: (G) General (US: Trade). Dimension: 234 x 156 x 10. Weight in Grams: 291.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 184
- Condition
- New
- SKU
- V9789401784443
- ISBN
- 9789401784443
Paperback
Condition: New
€ 148.68
€ 148.68
Hardback. This book proposes a new way of formalizing in logic and mathematics - a "pyramidal graph system," devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema. Num Pages: 140 pages, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 438.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2013 ed.
- Condition
- New
- SKU
- V9789400753006
- ISBN
- 9789400753006
Hardback
Condition: New
€ 149.71
€ 149.71