Linking Game-Theoretical Approaches With Constructive Type Theory eBook
Dialogical Strategies, Ctt Demonstrations And The Axiom Of Choice
idioma: inglês
Editor:
Springer International Publishing, julho de 2015 ‧
ver detalhes do produto
59,61€
10% DESCONTO
CARTÃO
WTFSYVRYQnNRMDk1VFRkc05tTkJSMUpDVmxwNGRuWkVVMlJ3ZG0wNFR6RXdkazlMYlVReWJTOTZRa05JVTNsVlNUbFlXVlZ6YmpoV00yeHhaMEZMWm5oNUwzQmpVSGRzUjBkcWRqRllNbFo2T0hSbWIyNDJNV3BNYWtOTGJYbEZLM2hrYXpWWU5IRjVWVVY2UWxoaWJUTnNlaXMzV1dwaVlVOXNUV2RuV0UxbGJ5ODBkRFpDTWtwQ1ExQnZjRk5LTTBOWmVqQkJXRGxXWWtSUGFDdEplWHBOU1U1aWJGcFpSRXh0ZUdoa09GTnNXalJsWjFaWVpWSkxaakpUZDBkSWFsZFhVbHBZTTNZNEwyOWxXR0pPWVVwWWJrZGxOekJCV2tOTVoweFlSRWhQTjJ4ek5FeGhNMFozZW1SV1FYRTBZbVZDVUVWU1RqYzViWFJXYUhCR09FOTBRbEJTY0VaWGRWbEZVRU5HVmt3d2RqTnFiMWN4UjJ0VkwyNXNPR3BYYkhjNFJuRkdaa1ZtVTBaVk1rZFNPVTlOTmtScFlrSndibHBrV0RCTVptSkpZMDVTUTNVeGVFUkxVWGR1UkZsSVQybG5Oa3BoWlRkcmFVeFZWREphT0V4a01ucE9NWEJWZG1GNGIwVnlLM0JsZFdwTFRsbFlhWE5hWlhCSlJXcDJjMUpOZUUxUlJGaGxZWGxWVEhjcldtWlpjbnBtWlZBeldVMDNibW9yUm5aUFkweDNXV1J6Y0d4d1ZWQjVVVUV6ZDNweVZGRnVUMW92TUc5dVZUaG9iakZRVTJaQ2EwbFhUMkZIUjFWU2RWbHVVVlp2Vm1oalYzWkVWU3M1UlhGdGRYcFBNRlJKY21GWGVDdHRWbWNyTnk5R2NXWXhTa0Z4WWtoRmNWRkJSbHBhVEVoS09UTlRjalkxYms5V1VUbEhlRzlVWjB0WVNqUXplV3hoT1c0eFpFdHViVXhVTkdwUFdGSTRUV04wUWt0SVRXRXZkbGxyV0hwQk9FTlBlSHBNUWtkUllrWmhNSFF3V0c1b2Vsb3ZhVzFqTjA5WVVHaFFNVmxTVkhRMGFWQXpjSGh0VHpkVk5IRXpkbnBzYW05c04wcHRlVnBMVDBsc0x6bGhhSEpvYXpWeVoyUldNelp5TWtkdloyd3dTbEUyVTFGdk1ubFVRa1V5T0hCMUwybHdOVXRYVGk5cVRuQk5jbUp3U201VVZsUjVNREZhVEVaeVpXTnNUMlZ0ZDNBelpYUkJiMFV2Y0dSclRWaDVWeXQ1ZG5OclN5dERXWEV6Y0dOSU1HcDVaMnBvVmtWWlFuRklRVTlqUFE9PTpPL2NKUGRRSG4vd2RGOUNDRUFCdFVnPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783319190631 |
| Editor: | Springer International Publishing |
| Data de Lançamento: | julho de 2015 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Springerbriefs In Philosophy |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Sociais e Humanas
>
Filosofia
|
| EAN: | 9783319190631 |
LIVROS DA MESMA COLEÇÃO
-
Complexity, Emergence And The Evolution Of Scientific Theories: Towards A Predictive Epistemology10%Springer International Publishing AG91,24€
101,38€portes grátis -
Organoids For Personalised Cancer Medicine10%Springer International Publishing AG42,57€
47,30€portes grátis