Holdings: Lógica, lógicas :: THWS Bibkatalog

Lógica, lógicas:

Saved in:

Bibliographic Details
Main Author:	Barba, Juan (Author)
Format:	Book
Language:	Spanish
Published:	Valladolid Univ. de Valladolid 2010
Series:	Colección Acceso al saber Serie Filosofía ; 5
Subjects:	Logik
Online Access:	Inhaltsverzeichnis
Physical Description:	174 S.
ISBN:	9788484485445 8484485447

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV036703744
003	DE-604
005	20110420
007	t\|
008	101006s2010 xx \|\|\|\| 00\|\|\| spa d
020			\|a 9788484485445 \|9 978-84-8448-544-5
020			\|a 8484485447 \|9 84-8448-544-7
035			\|a (OCoLC)705884691
035			\|a (DE-599)BVBBV036703744
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a spa
049			\|a DE-29
084			\|a CC 2500 \|0 (DE-625)17609: \|2 rvk
084			\|a 5,1 \|2 ssgn
100	1		\|a Barba, Juan \|e Verfasser \|4 aut
245	1	0	\|a Lógica, lógicas \|c Juan Barba
264		1	\|a Valladolid \|b Univ. de Valladolid \|c 2010
300			\|a 174 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Colección Acceso al saber : Serie Filosofía \|v 5
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
689	0	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0		\|5 DE-604
830		0	\|a Colección Acceso al saber \|v Serie Filosofía ; 5 \|w (DE-604)BV014145906 \|9 5
856	4	2	\|m Inhaltsverzeichnis \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020622115&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-020622115

Record in the Search Index

_version_	1826197216426983424
adam_text	IMAGE 1 INDICE INTRODUCCION 9 1. L,DE QUE TRATA LA LOGICA? 11 FORMA, CONTENIDO, CONSECUENCIA Y DEDUCCION 11 LOGICA Y LOGICAS 17 INDUCCION MATEMATICA 19 2. LOGICA PROPOSICIONAL CLASICA 23 ELLENGUAJE PROPOSICIONAL 23 SEM ANTI CA DE LA LOGICA PROPOSICIONAL: FUNCIONES DE VALUACION 27 DEDUCCION NATURAL PARA LA LOGICA PROPOSICIONAL CLASICA 38 CORRECCION Y COMPLETITUD DEI SISTEMA DEDUCTIVO DE DEDUCCION NATURAL 44 OTROS SISTEMAS DEDUCTIVOS 52 DECIDIBILIDAD 54 3. LOGICA DE PRIMER ORDEN 57 LENGUAJES DE PRIMER ORDEN 57 VARIABLES LIBRES Y LIGADAS. SUSTITUCIONES 60 SFMBOLOS FUNCIONALES 62 SEMANTICA DELLENGUAJE DE PRIMER ORDEN: MODELOS, ASIGNACIONES, SATISFACCION . 63 DEDUCCION NATURAL EN LOGICA DE PRIMER ORDEN, CORRECCION Y COMPLETITUD 69 4. LA INCOMPLETITUD DE LA ARITMETICA: EI TEOREMA DE GDEL. 79 ELLENGUAJE ARITMETICO Y LA NUMERACION DE GDEL. 80 EI LEMA DIAGONAL 87 - 173 - IMAGE 2 JUAN BARBA TEOREMAS DE TARSKI Y GDEL (VIA TEOREMA DE TARSKI) 88 EXPRESABILIDAD ARITMETICA Y DECIDIBILIDAD. TESIS DE CHURCH. 90 REPRESENTABILIDAD DE PROPIEDADES NUMERICAS: TEOREMAS DE GDEL Y ROSSER 97 5. LIMITACIONES EXPRESIVAS DE LOS LENGUAJES DE PRIMER ORDEN. LENGUAJES DE SEGUNDO ORDEN 105 APLICACIONES DEI TEOREMA DE COMPACIDAD 105 L6GICA DE SEGUNDO ORDEN 116 6. EXTENSIONES DE LA 16GICA CLASICA: L6GICA MODAL YAPLICACIONES 123 L6GICA MODAL 124 L6GICA MODAL PROPOSICIONAL 125 SEM ANTI CA DE LA 16GICA MODAL: MUNDOS POSIBLES 128 L6GICA MODAL DE PRIMER ORDEN 141 EXTENSIONES BASADAS EN 16GICA MODAL: L6GICA DE6NTICA, L6GICA EPISTEMICA, L6GICA TEMPORAL. 144 7. ALTERNATIVAS A LA L6GICA CLASICA 151 L6GICAS PARCIALES Y MULTIVALUADAS 151 L6GICA INTUICIONISTA 159 L6GICA DE LA RELEVANCIA 163 OTRAS 16GICAS (Y OTRAS PERSPECTIVAS) 165 EPILOGO 167 PARA SEGUIR LEYENDO 171 -174-
any_adam_object	1
author	Barba, Juan
author_facet	Barba, Juan
author_role	aut
author_sort	Barba, Juan
author_variant	j b jb
building	Verbundindex
bvnumber	BV036703744
classification_rvk	CC 2500
ctrlnum	(OCoLC)705884691 (DE-599)BVBBV036703744
discipline	Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV036703744</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110420</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">101006s2010 xx \|\|\|\| 00\|\|\| spa d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9788484485445</subfield><subfield code="9">978-84-8448-544-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">8484485447</subfield><subfield code="9">84-8448-544-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)705884691</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036703744</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">spa</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Barba, Juan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Lógica, lógicas</subfield><subfield code="c">Juan Barba</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Valladolid</subfield><subfield code="b">Univ. de Valladolid</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">174 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Colección Acceso al saber : Serie Filosofía</subfield><subfield code="v">5</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Colección Acceso al saber</subfield><subfield code="v">Serie Filosofía ; 5</subfield><subfield code="w">(DE-604)BV014145906</subfield><subfield code="9">5</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Inhaltsverzeichnis</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020622115&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020622115</subfield></datafield></record></collection>
id	DE-604.BV036703744
illustrated	Not Illustrated
indexdate	2025-03-10T09:03:01Z
institution	BVB
isbn	9788484485445 8484485447
language	Spanish
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020622115
oclc_num	705884691
open_access_boolean
owner	DE-29
owner_facet	DE-29
physical	174 S.
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Univ. de Valladolid
record_format	marc
series	Colección Acceso al saber
series2	Colección Acceso al saber : Serie Filosofía
spelling	Barba, Juan Verfasser aut Lógica, lógicas Juan Barba Valladolid Univ. de Valladolid 2010 174 S. txt rdacontent n rdamedia nc rdacarrier Colección Acceso al saber : Serie Filosofía 5 Logik (DE-588)4036202-4 gnd rswk-swf Logik (DE-588)4036202-4 s DE-604 Colección Acceso al saber Serie Filosofía ; 5 (DE-604)BV014145906 5 Inhaltsverzeichnis application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020622115&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Barba, Juan Lógica, lógicas Colección Acceso al saber Logik (DE-588)4036202-4 gnd
subject_GND	(DE-588)4036202-4
title	Lógica, lógicas
title_auth	Lógica, lógicas
title_exact_search	Lógica, lógicas
title_full	Lógica, lógicas Juan Barba
title_fullStr	Lógica, lógicas Juan Barba
title_full_unstemmed	Lógica, lógicas Juan Barba
title_short	Lógica, lógicas
title_sort	logica logicas
topic	Logik (DE-588)4036202-4 gnd
topic_facet	Logik
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020622115&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014145906
work_keys_str_mv	AT barbajuan logicalogicas

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items