1 resultado para lambda calculus types, mathematical logic
em Universidad de Alicante
Filtro por publicador
- Academic Archive On-line (Karlstad University; Sweden) (1)
- Academic Archive On-line (Stockholm University; Sweden) (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (7)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (2)
- Applied Math and Science Education Repository - Washington - USA (1)
- Aston University Research Archive (4)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (71)
- Biblioteca Virtual del Sistema Sanitario Público de Andalucía (BV-SSPA), Junta de Andalucía. Consejería de Salud y Bienestar Social, Spain (2)
- Biodiversity Heritage Library, United States (8)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (24)
- Brock University, Canada (3)
- Bulgarian Digital Mathematics Library at IMI-BAS (8)
- CentAUR: Central Archive University of Reading - UK (6)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (1)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (83)
- Cor-Ciencia - Acuerdo de Bibliotecas Universitarias de Córdoba (ABUC), Argentina (1)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (1)
- Dalarna University College Electronic Archive (1)
- Department of Computer Science E-Repository - King's College London, Strand, London (9)
- DigitalCommons - The University of Maine Research (1)
- DigitalCommons@University of Nebraska - Lincoln (2)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (24)
- FUNDAJ - Fundação Joaquim Nabuco (1)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (14)
- Galway Mayo Institute of Technology, Ireland (1)
- Glasgow Theses Service (1)
- Instituto Politécnico do Porto, Portugal (85)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (3)
- Martin Luther Universitat Halle Wittenberg, Germany (5)
- Memoria Académica - FaHCE, UNLP - Argentina (5)
- Nottingham eTheses (1)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- Repositório Científico da Universidade de Évora - Portugal (2)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (19)
- Repositório da Produção Científica e Intelectual da Unicamp (4)
- Repositório da Universidade Federal do Espírito Santo (UFES), Brazil (2)
- Repositório Institucional da Universidade de Aveiro - Portugal (1)
- Repositório Institucional da Universidade Estadual de São Paulo - UNESP (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (20)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (22)
- Scielo Saúde Pública - SP (48)
- Universidad de Alicante (1)
- Universidad del Rosario, Colombia (3)
- Universidad Politécnica de Madrid (31)
- Universidade do Minho (12)
- Universidade dos Açores - Portugal (4)
- Universidade Federal do Rio Grande do Norte (UFRN) (5)
- Universitat de Girona, Spain (3)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Lausanne, Switzerland (128)
- Université de Montréal, Canada (1)
- University of Connecticut - USA (1)
- University of Michigan (21)
- University of Queensland eSpace - Australia (273)
- WestminsterResearch - UK (1)
Relevância:
Resumo:
In this article, the authors propose a theory of the truth value of propositions from a logic-mathematical point of view. The work that the authors present is an attempt to address this question from an epistemological, linguistic, and logical-mathematical point of view. What is it to exist and how do we define existence? The main objective of this work is an approach to the first of these questions. We leave a more thorough treatment of the problem of existence for future works.