by María Jesús Castel de Haro · Universidad de Alicante · ISBN 9788460547662
VAT included
Hamelyn quality guarantee · checked and verified, or your money back
«Lógica de primer orden» is the mathematical logic textbook by María Jesús Castel de Haro, published by the University of Alicante (194 pages, in Spanish).
An introductory work on first-order logic that covers its formal language, semantics, and deductive systems. It explains concepts such as validity, consistency, and logical consequence, with special attention to the usefulness of these foundations in the field of computing.
The textbook belongs to the catalog of the Department of Computer Technology and Computation at the University of Alicante, within the categories of Philosophy and Technology.
For students and professionals in philosophy, mathematics, or computer science who want to establish the foundations of formal logic and its application in computing.
