Drake / Truss | Logic Colloquium '86 | E-Book | sack.de
E-Book

E-Book, Englisch, Band Volume 124, 341 Seiten, Web PDF

Reihe: Studies in Logic and the Foundations of Mathematics

Drake / Truss Logic Colloquium '86


1. Auflage 1987
ISBN: 978-0-444-53583-2
Verlag: Elsevier Science & Techn.
Format: PDF
 Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band Volume 124, 341 Seiten, Web PDF

Reihe: Studies in Logic and the Foundations of Mathematics

ISBN: 978-0-444-53583-2
Verlag: Elsevier Science & Techn.
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.

Drake / Truss Logic Colloquium '86 jetzt bestellen!

Autoren/Hrsg.

Drake, F. R.
Truss, J. K.
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.