Independence-Friendly Logic: A Game-Theoretic Approach

A systematic introduction suitable for readers who have little familiarity with logic. Provides numerous examples and complete proofs.

Detalles Bibliográficos
Autores principales: Mann, Allen L, Sandu, Gabriel, Sevenster, Merlijn
Lenguaje:eng
Publicado: Cambridge University Press 2011
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/1413392
_version_ 1780923956934475776
author Mann, Allen L
Sandu, Gabriel
Sevenster, Merlijn
author_facet Mann, Allen L
Sandu, Gabriel
Sevenster, Merlijn
author_sort Mann, Allen L
collection CERN
description A systematic introduction suitable for readers who have little familiarity with logic. Provides numerous examples and complete proofs.
id cern-1413392
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2011
publisher Cambridge University Press
record_format invenio
spelling cern-14133922021-04-22T00:42:21Zhttp://cds.cern.ch/record/1413392engMann, Allen LSandu, GabrielSevenster, MerlijnIndependence-Friendly Logic: A Game-Theoretic ApproachMathematical Physics and Mathematics A systematic introduction suitable for readers who have little familiarity with logic. Provides numerous examples and complete proofs.Cambridge University Pressoai:cds.cern.ch:14133922011
spellingShingle Mathematical Physics and Mathematics
Mann, Allen L
Sandu, Gabriel
Sevenster, Merlijn
Independence-Friendly Logic: A Game-Theoretic Approach
title Independence-Friendly Logic: A Game-Theoretic Approach
title_full Independence-Friendly Logic: A Game-Theoretic Approach
title_fullStr Independence-Friendly Logic: A Game-Theoretic Approach
title_full_unstemmed Independence-Friendly Logic: A Game-Theoretic Approach
title_short Independence-Friendly Logic: A Game-Theoretic Approach
title_sort independence-friendly logic: a game-theoretic approach
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/1413392
work_keys_str_mv AT mannallenl independencefriendlylogicagametheoreticapproach
AT sandugabriel independencefriendlylogicagametheoreticapproach
AT sevenstermerlijn independencefriendlylogicagametheoreticapproach

Ejemplares similares