Umfang:
Online Ressource (ix, 342 pages)
,
illustrations.
Ausgabe:
Online-Ausg. [S.l.] HathiTrust Digital Library Online-Ausg. [S.l.] : HathiTrust Digital Library
ISBN:
9780444535832
,
0444535837
Serie:
Studies in logic and the foundations of mathematics v. 124
Inhalt:
The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Other areas examined include model theory, set theory, recursion theory, proof theory, and the history of logic. This volume contains the texts of ten of the invited lectures and six of the contributed papers
Anmerkung:
Includes bibliographical references. - Print version record
,
Print version record
,
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002
,
Online-Ausg. [S.l.] : HathiTrust Digital Library
,
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
,
English
Weitere Ausg.:
ISBN 0444703268
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Logic Colloquium (1986 : Hull, Humberside) Logic Colloquium '86 Amsterdam ; New York : North-Holland, c1988
Sprache:
Englisch
Fachgebiete:
Mathematik
,
Philosophie
Schlagwort(e):
Electronic books
;
Electronic books
;
Konferenzschrift