.png){kind=logo}
Philosophy: logic
Results 941 - 960 of 989
Philosophy: logic
Hardback. Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 212 pages, 8 black & white tables, biography. BIC Classification: HPC; HPK; HPL; PBC; PBKS; UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 485.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Number of pages
- 212
- Condition
- New
- SKU
- V9789400717350
- ISBN
- 9789400717350
Hardback
Condition: New
€ 183.32
€ 183.32
Hardback. In 1953, the first volume of "Studia Logica" appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. This title celebrates the 50th Anniversary of "Studia Logica". It features a series of papers by various scholars that reflect both the aim and scope of this journal for symbolic logic. Editor(s): Hendricks, Vincent F.; Malinowski, Jacek (Institute of Philosophy and Sociology, The Polish Academy of Sciences, Warsaw, Poland). Series: Trends in Logic. Num Pages: 384 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 769.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 384
- Condition
- New
- SKU
- V9781402016011
- ISBN
- 9781402016011
Hardback
Condition: New
€ 196.15
€ 196.15
Paperback. Editor(s): Hendricks, Vincent F.; Malinowski, Jacek (Institute of Philosophy and Sociology, The Polish Academy of Sciences, Warsaw, Poland). Series: Trends in Logic. Num Pages: 384 pages, biography. BIC Classification: HPL; PBC; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2003
- Number of pages
- 384
- Condition
- New
- SKU
- V9789048164141
- ISBN
- 9789048164141
Paperback
Condition: New
€ 195.13
€ 195.13
Paperback. Series: Trends in Logic. Num Pages: 387 pages, biography. BIC Classification: HPL; PBC; PBF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 387
- Condition
- New
- SKU
- V9789048155071
- ISBN
- 9789048155071
Paperback
Condition: New
€ 250.60
€ 250.60
Hardback. Here is a thoroughly elaborated logical theory of generalized truth-values, presenting the idea of a trilattice of truth values - a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Series: Trends in Logic. Num Pages: 250 pages, 10 black & white tables, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 545.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- 2011
- Number of pages
- 250
- Condition
- New
- SKU
- V9789400709065
- ISBN
- 9789400709065
Hardback
Condition: New
€ 128.44
€ 128.44
Paperback / so. Series: Trends in Logic. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: HPL; PBCD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 14. Weight in Grams: 372.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer United States
- Condition
- New
- SKU
- V9789400737341
- ISBN
- 9789400737341
Paperback
Condition: New
€ 127.76
€ 127.76
Paperback. Editor(s): Dunn, J. Michael; Segerberg, Krister. Num Pages: 396 pages, biography. BIC Classification: GBC; HPL; WM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 396
- Condition
- New
- SKU
- V9789401067911
- ISBN
- 9789401067911
Paperback
Condition: New
€ 195.08
€ 195.08
Hardback. Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. This monograph offers definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic. Series: Synthese Library. Num Pages: 470 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 835.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 470
- Condition
- New
- SKU
- V9780792352624
- ISBN
- 9780792352624
Hardback
Condition: New
€ 236.56
€ 236.56
Paperback. Series: Synthese Library. Num Pages: 470 pages, biography. BIC Classification: HPL; PBC; PDA; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 668.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 470
- Condition
- New
- SKU
- V9789048151059
- ISBN
- 9789048151059
Paperback
Condition: New
€ 229.17
€ 229.17
Awarded the 1988 Johnsonian Prize in Philosophy, this title is published with the aid of a grant from the National Endowment for the Humanities. Num Pages: 246 pages. BIC Classification: HPL. Category: (G) General (US: Trade); (UU) Undergraduate. Dimension: 239 x 162 x 21. Weight in Grams: 504.
- Publication date
- 1991
- Publisher
- Hackett Publishing Co, Inc United States
- Number of pages
- 246
- Condition
- New
- SKU
- V9780872200876
- ISBN
- 9780872200876
Paperback
Condition: New
€ 53.99€ 39.06
€ 53.99
€ 39.06
Hardback. Series: Synthese Library. Num Pages: 525 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 940.
- Format
- Hardback
- Publication date
- 1987
- Publisher
- Springer Netherlands
- Number of pages
- 525
- Condition
- New
- SKU
- V9789027723543
- ISBN
- 9789027723543
Hardback
Condition: New
€ 260.21
€ 260.21
Paperback. Series: Synthese Library. Num Pages: 525 pages, biography. BIC Classification: CF; HPL; WM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 831.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 525
- Condition
- New
- SKU
- V9789401081702
- ISBN
- 9789401081702
Paperback
Condition: New
€ 251.92
€ 251.92
Paperback. Series: Synthese Library. Num Pages: 224 pages, biography. BIC Classification: HPK; HPL; PDA; PDX. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 13. Weight in Grams: 610.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1996
- Number of pages
- 224
- Condition
- New
- SKU
- V9789048146925
- ISBN
- 9789048146925
Paperback
Condition: New
€ 128.81
€ 128.81
Paperback. Series: Sovietica. Num Pages: 102 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 6. Weight in Grams: 207.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1964
- Number of pages
- 102
- Condition
- New
- SKU
- V9789401036139
- ISBN
- 9789401036139
Paperback
Condition: New
€ 126.13
€ 126.13
Hardback. Sets out the foundations, methodology and practice of a formal framework for the description of language. The approach embraces the trends of lexicalism and compositional semantics in computational and theoretical linguistics by developing categorial grammar into a logic of signs. Num Pages: 307 pages, biography. BIC Classification: CF; HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 229 x 152 x 19. Weight in Grams: 636.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 307
- Condition
- New
- SKU
- V9780792330950
- ISBN
- 9780792330950
Hardback
Condition: New
€ 200.47
€ 200.47
paperback. Sets out the foundations, methodology and practice of a formal framework for the description of language. The approach embraces the trends of lexicalism and compositional semantics in computational and theoretical linguistics by developing categorial grammar into a logic of signs. Num Pages: 307 pages, biography. BIC Classification: CFK; HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 223 x 152 x 17. Weight in Grams: 1020.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 307
- Condition
- New
- SKU
- V9780792332268
- ISBN
- 9780792332268
Paperback
Condition: New
€ 197.90
€ 197.90
Hardback. Godel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. This title presents classical type theory, introduces tableau rules for it and gives the proof of Prawitz/Takahashi. Series: Trends in Logic. Num Pages: 181 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 12. Weight in Grams: 461.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 181
- Condition
- New
- SKU
- V9781402006043
- ISBN
- 9781402006043
Hardback
Condition: New
€ 127.85
€ 127.85
Paperback. Series: Trends in Logic. Num Pages: 181 pages, biography. BIC Classification: HPJ; HPL; HRAB. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 11. Weight in Grams: 328.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 181
- Condition
- New
- SKU
- V9789401039123
- ISBN
- 9789401039123
Paperback
Condition: New
€ 126.98
€ 126.98
Paperback / so. Series: Phaenomenologica. Num Pages: black & white illustrations, bibliography. BIC Classification: CFGA; GBCR; HPCF3; HPJ; HPL. Category: (G) General (US: Trade). Dimension: 234 x 156 x 26. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Condition
- New
- SKU
- V9789401047319
- ISBN
- 9789401047319
Paperback
Condition: New
€ 229.46
€ 229.46
Hardback. Num Pages: 258 pages, 23 black & white illustrations, 21 colour tables, biography. BIC Classification: HPK; HPL; PBB; PBT. Category: (G) General (US: Trade). Dimension: 167 x 272 x 21. Weight in Grams: 574.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319397559
- ISBN
- 9783319397559
Hardback
Condition: New
€ 139.59
€ 139.59