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

Ejemplares similares

Ejemplares similares