- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540071556
3540071555
9780387071558
0387071555
- Dimensions
-
24 cm
- Extent
-
251 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.;
Literaturangaben.
- Bibliographic citation
-
Lecture notes in mathematics ; 453
- Keyword
-
Logik, Mathematische
Mathematische Logik
Symbolische Logik
Mathematische Logik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
1975
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:24 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
Associated
- Parikh, Rohit
- Logic Colloquium (1972 - 1973 : Boston, Mass.)
- Springer
Time of origin
- 1975
Other Objects (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