|
|||||
|
|
Truth,Proofs and Functions |
|
| Authors: | Fichot Jean |
| Affiliation: | (1) Département de Philosophie, Université de Bretagne Occidentale, 24 rue Beuvrelu, 14000 Caen, France E-mail |
| Abstract: | Synthese - There are two different ways to introduce the notion of truthin constructive mathematics. The first one is to use a Tarskian definition of truth in aconstructive (meta)language.... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |