Mathematical foundations
Results 581 - 600 of 1147
Mathematical foundations
Paperback / so. Series: Springers Angewandte Informatik. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCD; UMX; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 11. Weight in Grams: 331.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211818671
- ISBN
- 9783211818671
Paperback
Condition: New
€ 88.75
€ 88.75
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
€ 148.80
€ 148.80
Hardcover. This reference is the first rigorous application of algebraic topology and one of the earliest applications of graph theory to ecology. Num Pages: 224 pages. BIC Classification: PBCD; PSVS. Category: (G) General (US: Trade). Dimension: 230 x 150 x 18. Weight in Grams: 422.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- J. Ross Publishing
- Condition
- New
- SKU
- V9781604271287
- ISBN
- 9781604271287
Hardback
Condition: New
€ 144.12
€ 144.12
Paperback. An Invitation to General Algebra and Universal Constructions Series: Universitext. Num Pages: 572 pages, 90 black & white illustrations, 1 black & white tables, biography. BIC Classification: PBC; PBF. Category: (P) Professional & Vocational. Dimension: 242 x 159 x 32. Weight in Grams: 866.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer
- Edition
- 2nd ed. 2015
- Condition
- New
- SKU
- V9783319114774
- ISBN
- 9783319114774
Paperback
Condition: New
€ 107.96
€ 107.96
Paperback. Series: IFSR International Series on Systems Science and Engineering. Num Pages: 740 pages, biography. BIC Classification: GPFC; GT; KJU; PBC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 39. Weight in Grams: 1151.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 2nd ed. 2001
- Number of pages
- 740
- Condition
- New
- SKU
- V9781461355014
- ISBN
- 9781461355014
Paperback
Condition: New
€ 430.77
€ 430.77
Paperback. Based on three previous publications on the subject, this updated third edition covers the key concepts and results in the field. The main topics are distributivity, congruences, constructions, modularity and semimodularity, varieties, and free products. Num Pages: 614 pages, Illustrations. BIC Classification: PBCD; PBH. Category: (P) Professional & Vocational. Dimension: 241 x 172 x 27. Weight in Grams: 1038.
- Publisher
- Springer Basel Switzerland
- Number of pages
- 644
- Format
- Paperback
- Publication date
- 2011
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9783034800174
- ISBN
- 9783034800174
Paperback
Condition: New
€ 121.77
€ 121.77
Hardback. The theory presented in this book is destined and expected to find applications to all aspects of fuzziness from theoretical to practical in almost all sciences, technology, finance and industry, as well as within pure mathematics. Series: Studies in Fuzziness and Soft Computing. Num Pages: 444 pages, 1 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 1790.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 444
- Condition
- New
- SKU
- V9783642112195
- ISBN
- 9783642112195
Hardback
Condition: New
€ 202.91
€ 202.91
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
€ 38.99€ 28.50
€ 38.99
€ 28.50
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
Mixed media pr. A guide to using Mathematica to explore cellular automata within natural phenomena, such as insect colonies, bird flight paths and even DNA sequencing. It introduces Mathematica before going on to provide the information needed to properly motivate the code and run the simulations. Editor(s): Nishidate, Kazume. Num Pages: 260 pages, 82 black & white illustrations, biography. BIC Classification: PBCD; UGK; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 19. Weight in Grams: 585.
- Publication date
- 1996
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 260
- Condition
- New
- SKU
- V9780387946207
- ISBN
- 9780387946207
Paperback
Condition: New
€ 116.46
€ 116.46
Hardback. Contains problems on such topics as Boolean algebra, k-valued logics, graphs and networks, elements of coding theory, automata theory, algorithms theory, combinatorics, Boolean minimization and logical design. This book is suitable for undergraduate students of discrete mathematics, and also to postgraduates and researchers. Series: Texts in the Mathematical Sciences. Num Pages: 424 pages, biography. BIC Classification: PBCD. Category: (G) General (US: Trade); (P) Professional & Vocational; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 791.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 424
- Condition
- New
- SKU
- V9780792340362
- ISBN
- 9780792340362
Hardback
Condition: New
€ 169.55
€ 169.55
Internal Logic: Foundations of Mathematics from Kronecker to Hilbert
Gauthier, Yvon (University Of Montreal, Canad...
paperback. Series: Synthese Library. Num Pages: 251 pages, biography. BIC Classification: HPL; PBC; PDA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2002
- Number of pages
- 251
- Condition
- New
- SKU
- V9789048160525
- ISBN
- 9789048160525
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. Series: Studies in Universal Logic. Num Pages: 195 pages, 9 black & white illustrations, biography. BIC Classification: PBCD; PBH; PBMW. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 11. Weight in Grams: 341.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Switzerland
- Number of pages
- 195
- Condition
- New
- SKU
- V9783319220864
- ISBN
- 9783319220864
Paperback
Condition: New
€ 66.06
€ 66.06
Hardback. Developed in the context of a radical arithmetization of mathematics and logic, this book covers the many-faceted heritage of Kronecker's work, which includes Hilbert and also Frege, Cantor, Husserl and Brouwer. It is useful for those interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. Series: Synthese Library. Num Pages: 251 pages, biography. BIC Classification: 3JH; 3JJF; 3JJG; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 553.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 251
- Condition
- New
- SKU
- V9781402006890
- ISBN
- 9781402006890
Hardback
Condition: New
€ 132.86
€ 132.86
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
€ 101.53
€ 101.53
Hardback. Series: Publications of the Mathematical Society of Japan. Num Pages: 148 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 10. Weight in Grams: 371.
- Format
- Hardback
- Publication date
- 2020
- Publisher
- Princeton University Press United States
- Number of pages
- 148
- Condition
- New
- SKU
- V9780691638379
- ISBN
- 9780691638379
Hardback
Condition: New
€ 110.87
€ 110.87
Paperback / so. Series: Convergenze. Num Pages: black & white illustrations, bibliography. BIC Classification: JNU; PBCD; YQM. Category: (G) General (US: Trade). Dimension: 234 x 156 x 9. Weight in Grams: 240.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Verlag Italy
- Condition
- New
- SKU
- V9788847007680
- ISBN
- 9788847007680
Paperback
Condition: New
€ 55.91
€ 55.91
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
Hardback. This book covers modularity and independence in classical and nonclassical logic, including many-valued logics and structures, plus neighbourhood semantics and their connection to independence, as well as their common points and differences for various logics. Series: Cognitive Technologies. Num Pages: 233 pages, biography. BIC Classification: HPL; PBC; UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 233
- Condition
- New
- SKU
- V9783642190674
- ISBN
- 9783642190674
Hardback
Condition: New
€ 128.27
€ 128.27
Hardback. Num Pages: 375 pages, 80 black & white illustrations, biography. BIC Classification: HPL; PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 725.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 375
- Condition
- New
- SKU
- V9783319468150
- ISBN
- 9783319468150
Hardback
Condition: New
€ 129.56
€ 129.56