Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings /
The Third Kurt Gdel Symposium, KGC'93, held in Brno, Czech Republic, August1993, is the third in a series of biennial symposia on logic, theoretical computer science, and philosophy of mathematics. The aim of this meeting wasto bring together researchers working in the fields of computational l...
Full description
Bibliographic Details
| Corporate Authors: |
Kurt Gödel Colloquium Brno, Czech Republic,
SpringerLink (Online service),
Kurt Gödel Society |
|---|
| Other Authors: |
Gottlob, G. (Georg),
Leitsch, Alexander, 1952-,
Mundici, Daniele, 1946- |
|---|
| Format: | Conference Proceeding
eBook
|
|---|
| Language: | English |
|---|
| Published: |
Berlin ; New York :
Springer-Verlag,
1993.
|
|---|
| Series: | Lecture notes in computer science ;
713.
|
|---|
| Subjects: | |
|---|
| Online Access: | Connect to the full text of this electronic book
|
|---|