Logic: From Foundations to Applications : European Logic Colloquium (Oxford Science Publications) - Hardcover

Logic Colloquium 9 (1993 University Of Keele)

 
9780198538622: Logic: From Foundations to Applications : European Logic Colloquium (Oxford Science Publications)
Hardcover
ISBN 10: 0198538626 ISBN 13: 9780198538622
Verlag: Clarendon Press, 1996

Inhaltsangabe

This book contains 21 essays by leading authorities on aspects of contemporary logic, ranging from foundations of set theory to applications of logic in computing and in the theory of fields. In computer science and mathematics, this gap between foundations and applications is small, as illustrated by essays on the proof theory of non-classical logics, lambda calculus, relating logic programs to inductive definition, and definability in Lindenbaum algebras. Other chapters discuss how to apply model theory to field theory, complex geometry and groups, and how to recover from its automorphism group.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Clarendon Press
Erscheinungsdatum
1996
Sprache
Englisch
ISBN 10 
0198538626
ISBN 13 
9780198538622
Einband
Gebundene Ausgabe
Anzahl der Seiten
536
Herausgeber
Hodges Wilfrid, Hyland Martin, Steinhorn Charles, Truss John, Logic Colloquium
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Penguin Random House Ireland Limited
productsafety@penguin.co.uk

Morrison Chambers, 32 Nassau Street
Dublin
Irland