Format:
Online Ressource (ix, 342 pages)
,
illustrations.
Edition:
Online-Ausg. [S.l.] HathiTrust Digital Library Online-Ausg. [S.l.] : HathiTrust Digital Library
ISBN:
9780444535832
,
0444535837
Series Statement:
Studies in logic and the foundations of mathematics v. 124
Content:
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
Note:
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
Additional Edition:
ISBN 0444703268
Additional Edition:
Erscheint auch als Druck-Ausgabe Logic Colloquium (1986 : Hull, Humberside) Logic Colloquium '86 Amsterdam ; New York : North-Holland, c1988
Language:
English
Subjects:
Mathematics
,
Philosophy
Keywords:
Electronic books
;
Electronic books
;
Konferenzschrift
Bookmarklink