Revenir

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

Logic colloquium <1983

Information

Vous pouvez le trouver dans

Catégorie

Testo

Nature

Monografia

Titre

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

Des noms

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.]

Description physique

VIII, 475 p. ; 25 cm.

Nombres standard

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

Date

1984

Place de publication

Berlin [etc.]

Village

GERMANIA

Langue

INGLESE

Source

Biblioteche SBN Sardegna

IT\ICCU\MIL\0034337

Liens de ressources

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

Étiqueter

Images

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 ..

Année : 1980

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 ..

Année : 1980

Résultats 2 de 70535

Voir tout

Des textes

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

Auteur : Logic colloquium <1983

Année : 1984

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

Auteur : Logic colloquium <1983

Année : 1984

Résultats 2 de 1073200

Voir tout

Vidéo

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)

Année : 1990

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)

Année : 1990

Résultats 2 de 29886

Voir tout

l\'audio

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

Auteur : Bach, Johann Sebastian

Année : 2011

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

Auteur : Bach, Johann Sebastian

Année : 2011

Résultats 2 de 13603

Voir tout

commentaires

Chargez les autres

Écrire un commentaire

Envoyer

Sardaigne

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

Étiqueter

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

commentaires