Come Back

Part 2: Computation and proof theory : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Logic colloquium <1983

Information

You can find it in

Category

Testo

Nature

Monografia

Title

Part 2: Computation and proof theory : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Names

Richter, Michael M. <1938- >
[Autore] Logic colloquium <1983

Description

Part 2: Computation and proof theory : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983 / edited by M. M. Richter ... [et al.]

Physical description

VIII, 475 p. ; 25 cm.

Standard numbers

ISBN: 038713901X, (New York)
ISBN: 354013901X, (Berlin)

Date

1984

Place of publication

Berlin [etc.]

Village

GERMANIA

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

IT\ICCU\MIL\0034337

Resources links

http://id.sbn.it/bid/MIL0034337

Comments

Load others

Write a comment

Send

Part 2: Computation and proof theory : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Tag

Greenham common womens peace camp invite women to take part in an international action to stop the siting of cruise missiles anywhere in Europe, december 12th & 13th ..

Greenham common womens peace camp invite women to take part in an international action to stop the siting of cruise missiles anywhere in Europe, december 12th & 13th ..

Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Proceedings of th Logic Colloquium held in Aachen, July 18-23, 1983

None. [Part 1]: 1. Introduction to the study of motion (24 min) ; 2. Fundamental principles of flow (23 min) ; 3. Fluid motion in a gravitational field (23 min)

None. [Part 1]: 1. Introduction to the study of motion (24 min) ; 2. Fundamental principles of flow (23 min) ; 3. Fluid motion in a gravitational field (23 min)

CD 124: Matthäus-Passion, BWV 244 : part 2, beginning

CD 125: Matthäus-Passion, BWV 244 : part 2, conclusion

Comments

Sardinia region

Part 2: Computation and proof theory : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Tag

Greenham common womens peace camp invite women to take part in an international action to stop the siting of cruise missiles anywhere in Europe, december 12th & 13th ..

Greenham common womens peace camp invite women to take part in an international action to stop the siting of cruise missiles anywhere in Europe, december 12th & 13th ..

Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Proceedings of th Logic Colloquium held in Aachen, July 18-23, 1983

None. [Part 1]: 1. Introduction to the study of motion (24 min) ; 2. Fundamental principles of flow (23 min) ; 3. Fluid motion in a gravitational field (23 min)

None. [Part 1]: 1. Introduction to the study of motion (24 min) ; 2. Fundamental principles of flow (23 min) ; 3. Fluid motion in a gravitational field (23 min)

CD 124: Matthäus-Passion, BWV 244 : part 2, beginning

CD 125: Matthäus-Passion, BWV 244 : part 2, conclusion

Comments