Lógica para informáticos / (Registro nro. 1)

Detalles MARC
000 -LEADER
fixed length control field 00987nam a2200241I 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9786077071655
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 510.6 /
Item number F245L / C,G.
100 1# - MAIN ENTRY--AUTHOR NAME
Personal name Farré Cirera, Rafael,
245 10 - TITLE STATEMENT
Title Lógica para informáticos /
250 ## - EDITION STATEMENT
Edition statement Primera ediciónn: Alfaomega Grupo Editor, México, mayo 2012.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication México:
Name of publisher Alfaomega;
Year of publication 2012.
300 ## - PHYSICAL DESCRIPTION
Number of Pages xii, 206 páginas :
Other physical details informatica;
Accompanying material libro.
500 ## - GENERAL NOTE
General note "Área: Computación. Sub área: Teoría de la computación".
520 ## - SUMMARY, ETC.
Summary, etc Preliminares.-- Definición de la lógica profesional.-- Deducción en la lógica proporcional.-- Definición de la lógica de primer orden.--Deducción en la lógica de primer orden.-- Fundamentos de la programación lógica.-- Ejercicio resueltos.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer logic.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Lógica computacional.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Nieuwenhuis, Robert,
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Nivela, Pilar,
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Oliveras, Albert,
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Rodríguez, Enric,
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Sierra, Josefina,
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Existencias
Withdrawn status Lost status Home library Current library Date acquired Full call number Accession Number Koha item type
    CURC CURC 16/10/2015 510.6 / F245L / C,G. 11000210 Books
    CURC CURC 16/10/2015 510.6 / F245L / C,G. 11000211 Books