.png){kind=logo}
Mathematical foundations
Results 541 - 560 of 1147
Mathematical foundations
Paperback. This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). Editor(s): Ausiello, G. Num Pages: 804 pages, biography. BIC Classification: PBC. Category: (P) Professional & Scholarly; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 40. Weight in Grams: 1106.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 804
- Condition
- New
- SKU
- V9783540513711
- ISBN
- 9783540513711
Paperback
Condition: New
€ 132.02
€ 132.02
Paperback. Covers such topics as: Admissible recursion theory; Computational complexity and recursion theory; A survey of set recursion; Priority arguments in Higgler recursion; Construction in the recursively enumerable degrees; and, Recursively invariant recursion theory. Series: CIME Summer Schools. Num Pages: 240 pages, 6 black & white illustrations, biography. BIC Classification: PBC. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 240
- Condition
- New
- SKU
- V9783642110719
- ISBN
- 9783642110719
Paperback
Condition: New
€ 63.42
€ 63.42
Hardback. Presents intuitionistic logic as part of familiar classical logic which allows mechanical extraction of programs from proofs. This book provides an introduction and a background for reading research literature in logic and computer science as well as advanced monographs. Series: University Series in Mathematics. Num Pages: 140 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer Science+Business Media United States
- Number of pages
- 140
- Condition
- New
- SKU
- V9780306463945
- ISBN
- 9780306463945
Hardback
Condition: New
€ 185.54
€ 185.54
Paperback. Series: University Series in Mathematics. Num Pages: 140 pages, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 231.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 140
- Condition
- New
- SKU
- V9781475773194
- ISBN
- 9781475773194
Paperback
Condition: New
€ 181.61
€ 181.61
Paperback. Series: Princeton Science Library. Num Pages: 288 pages. BIC Classification: PBCD. Dimension: 216 x 140. Weight in Grams: 255.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Princeton University Press
- Edition
- Reprint
- Number of pages
- 288
- Condition
- New
- SKU
- V9780691164076
- ISBN
- 9780691164076
Paperback
Condition: New
€ 23.99€ 18.04
€ 23.99
€ 18.04
Paperback. Series: Studies in the History of Mathematics & Physical Sciences. Num Pages: 412 pages, biography. BIC Classification: PBC. Category: (G) General (US: Trade). Dimension: 229 x 152 x 22. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1982
- Number of pages
- 412
- Condition
- New
- SKU
- V9781461394808
- ISBN
- 9781461394808
Paperback
Condition: New
€ 68.05
€ 68.05
Hardback. Features a methodology for automated deduction in non-classical logics. In this book, the methodology is applied to a range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. It can also be used as an introduction to these logical systems from a procedural perspective. Series: Applied Logic Series. Num Pages: 268 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 268
- Condition
- New
- SKU
- V9780792364733
- ISBN
- 9780792364733
Hardback
Condition: New
€ 133.13
€ 133.13
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
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
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
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
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. 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. 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. 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
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
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
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
Hardback
Condition: New
€ 116.46
€ 116.46
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
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