![Model theory / Predicate logic / Non-classical logic / Quantification / Interpretation / First-order logic / Independence-friendly logic / FO / Lambda calculus / Logic / Mathematical logic / Philosophical logic Model theory / Predicate logic / Non-classical logic / Quantification / Interpretation / First-order logic / Independence-friendly logic / FO / Lambda calculus / Logic / Mathematical logic / Philosophical logic](https://www.pdfsearch.io/img/1d85453306e922c55294d7e4e8d98158.jpg)
| Document Date: 2009-10-23 18:50:09 Open Document File Size: 443,43 KBShare Result on Facebook
City CONICET / / Country Argentina / / / Facility Theoretical Computer Science Group Hasselt University / Transnational University of Limburg Abstract In / / IndustryTerm inadequate device / mere syntactic device / / Organization Universidad de Buenos Aires / Transnational University of Limburg Abstract In / Theoretical Computer Science Group Hasselt University / / Person Daniel Gor´ına / Rafael Grimsonc / Santiago Figueiraa / Jaako Hintikka / Rafael Grimson / Santiago Figueira / Daniel Gor´ın / / Position player / /
SocialTag |