878889515  

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 / edited by F.R. Drake and J.K. Truss

Logic Colloquium ; (Hull, Humberside) : 1986

Englisch

Amsterdam ; New York : North-Holland, 2010

Online Ressource (ix, 342 pages) : illustrations.

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

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

Erscheint auch als: Druck-Ausgabe- Logic Colloquium (1986 : Hull, Humberside): Logic Colloquium '86. - Amsterdam ; New York : North-Holland, c1988

978-0-444-53583-2

0-444-53583-7

Weitere Ausgaben: 0-444-70326-8 (Druckausgabe)

*0-444-70326-8 - ISBN *978-0-444-70326-2 - ISBN *0-444-70326-8 - ISBN *978-0-444-70326-2

*Logic, Symbolic and mathematical -- Congresses ; Logique symbolique et mathématique -- Congrès ; Electronic books ; Congresses ; Logic, Symbolic and mathematical -- Congresses

*logique symbolique ; logique mathématique ; programmation en logique ; Electronic books / Conference papers and proceedings / Kingston-upon-Hull (1986) ; Logic, Symbolic and mathematical / Congresses ; Logique symbolique et mathématique / Congrès ; MATHEMATICS ; Logic ; Logic, Symbolic and mathematical ; Kongress ; Mathematische Logik ; Logica matematica ; MATHEMATICS ; Infinity ; Conference papers and proceedings ; Kingston-upon-Hull (1986) ; Conference papers and proceedings

Klassifikation der Library of Congress: QA9.A1

Dewey Dezimal-Klassifikation: 511.3;

Regensburger Verbund-Klassifikation: CC 2500: CA-CK Philosophie / CC Systematische Philosophie / CC 2000-CC 2600 Logik / Philosophische Logik

Regensburger Verbund-Klassifikation: SD 1986: SA-SP Mathematik / SD Kongressberichte / Veranstaltungsjahr 1986

bisacsh: MAT

bisacsh: MAT

bisacsh: MAT 016000

bisacsh: MAT 018000

Mathematics Subject Classification: *00B25

Mathematics Subject Classification: 03-06

bisacsh: MAT 018000

bisacsh: MAT 016000

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

 

Online-Ausg.

[S.l.] : HathiTrust Digital Library

[S.l.] : HathiTrust Digital Library

Online-Ausg. [S.l.] : HathiTrust Digital Library

https://zbmath.org/?q=an:0623.00002 [Zentralblatt MATH]

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.