- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540071556
3540071555
9780387071558
0387071555
- Maße
-
24 cm
- Umfang
-
251 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.;
Literaturangaben.
- Erschienen in
-
Lecture notes in mathematics ; 453
- Schlagwort
-
Logik, Mathematische
Mathematische Logik
Symbolische Logik
Mathematische Logik
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York
- (wer)
-
Springer
- (wann)
-
1975
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:24 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
Beteiligte
- Parikh, Rohit
- Logic Colloquium (1972 - 1973 : Boston, Mass.)
- Springer
Entstanden
- 1975
Ähnliche Objekte (12)
Logic Colloquium '90 : ASL summer meeting in Helsinki
Logic Colloquium '96 : proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996
Quantitative logic and soft computing 2010, Vol. 2
Advanced Seminar on Foundations of Innovative Software Development, 2.. ... And Colloquium on Functional and Logic Programming and Specifications (CFLP)
Logic programming, 7. 1988.. Tokyo, Japan, April 11 - 14, 1988
Logic programming, 5. 1986.. Tokyo, Japan, June 23 - 26, 1986
Logic programming, 4. 1985.. Tokyo, Japan, July 1 - 3, 1985
Logic programming, 6. 1987.. Tokyo, Japan, June 22 - 24, 1987
Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium
Algebraic and logic programming, 2.. Nancy, France, October 1 - 3, 1990
Algebraic and logic programming, [1].. Gaussig, GDR, November 14 - 18, 1988
Algebraic and logic programming, 3.. Volterra, Italy, September 2 - 4, 1992
Logic Colloquium '90 : ASL summer meeting in Helsinki
Logic Colloquium '96 : proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996
Quantitative logic and soft computing 2010, Vol. 2
Advanced Seminar on Foundations of Innovative Software Development, 2.. ... And Colloquium on Functional and Logic Programming and Specifications (CFLP)
Logic programming, 7. 1988.. Tokyo, Japan, April 11 - 14, 1988
Logic programming, 5. 1986.. Tokyo, Japan, June 23 - 26, 1986
Logic programming, 4. 1985.. Tokyo, Japan, July 1 - 3, 1985
Logic programming, 6. 1987.. Tokyo, Japan, June 22 - 24, 1987
Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium
Algebraic and logic programming, 2.. Nancy, France, October 1 - 3, 1990
Algebraic and logic programming, [1].. Gaussig, GDR, November 14 - 18, 1988
Algebraic and logic programming, 3.. Volterra, Italy, September 2 - 4, 1992
Logic Colloquium '90 : ASL summer meeting in Helsinki
Logic Colloquium '96 : proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996
Quantitative logic and soft computing 2010, Vol. 2
Advanced Seminar on Foundations of Innovative Software Development, 2.. ... And Colloquium on Functional and Logic Programming and Specifications (CFLP)
Logic programming, 7. 1988.. Tokyo, Japan, April 11 - 14, 1988
Logic programming, 5. 1986.. Tokyo, Japan, June 23 - 26, 1986
Logic programming, 4. 1985.. Tokyo, Japan, July 1 - 3, 1985
Logic programming, 6. 1987.. Tokyo, Japan, June 22 - 24, 1987
Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium
Algebraic and logic programming, 2.. Nancy, France, October 1 - 3, 1990
Algebraic and logic programming, [1].. Gaussig, GDR, November 14 - 18, 1988