Logic Colloquium '87 (Enhanced Edition) Logic Colloquium '87 (Enhanced Edition)

Logic Colloquium '87 (Enhanced Edition‪)‬

H.-D. Ebbinghaus and Others
    • $199.99
    • $199.99

Publisher Description

Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume.The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.

GENRE
Science & Nature
RELEASED
2000
April 1
LANGUAGE
EN
English
LENGTH
522
Pages
PUBLISHER
Elsevier Science
SELLER
Elsevier Ltd.
SIZE
8.6
MB

More Books Like This

PROOF AND COMPUTATION II PROOF AND COMPUTATION II
PROOF AND COMPUTATION II
2021
The Arché Papers on the Mathematics of Abstraction The Arché Papers on the Mathematics of Abstraction
The Arché Papers on the Mathematics of Abstraction
2007
Stochastic Coalgebraic Logic Stochastic Coalgebraic Logic
Stochastic Coalgebraic Logic
2009
Eliminating the Universe Eliminating the Universe
Eliminating the Universe
2018
Saved from the Cellar Saved from the Cellar
Saved from the Cellar
2017
A Modern Perspective on Type Theory A Modern Perspective on Type Theory
A Modern Perspective on Type Theory
2006