Fundamentals of algebraic specification 1 : Equations and initial semantics /

Fundamentals of algebraic specification 1 : Equations and initial semantics /

41

Bibliographic Details
Main Authors:	445928 Ehrig, H., Mahr, B.
Format:
Published:	New York : Springer-Verlag, 1985
Subjects:	Algebra, Abstract Semantics Logic, Symbolic and mathematical

Similar Items

A tour through mathematical logic /
by: 181509 Wolf, Robert S.
Published: (2005)

A tour through mathematical logic /
by: 181509 Wolf, Robert S.
Published: (c200)

Algebra and logic
Published: (1968)

An algebraic introduction to mathematical logic /
by: 390016 Barnes, Donald W., et al.
Published: (1975)

Algebra and logic : papers /
by: Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
Published: (1975)

Schaum's easy outlines : discrete mathematics /
by: 361304 Lipschutz, Seymour, et al.
Published: (2003)

Schaum's outline of theory and problems of discrete mathematics /
by: 361304 Lipschutz, Seymour, et al.
Published: (1997)

Schaum's outline of theory and problems of discrete mathematics /
by: 361304 Lipschutz, Seymour
Published: (1976)

Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry /
by: Bucur, Ionel, 1930-1976
Published: (1984)

Classification of second class filiform leibniz algebras in dimension nine
by: Deraman, Fatanah
Published: (2013)

Logic and boolean algebra /
by: 398742 Levitz, Kathleen, et al.
Published: (1979)

Logic I : Boolean algebra
by: Open University. Mathematics Foundation Course Team
Published: (1971)

What logics mean : from proof theory to model-theoretic semantics /
by: Garson, James W., 1943-
Published: (2013)

Classical mathematical logic : the semantic foundations of logic /
by: Epstein, Richard L., 1947-
Published: (2006)

Logic, semantics, mathematics : papers from 1923 to 1938 /
by: 319988 Tarski, Alfred, et al.
Published: (1956)

Discrete mathematics and algebraic structures /
by: 334231 Gerstein, Larry J.
Published: (1987)

Practice problems in number systems,logic, and Boolean algebra /
by: 359306 Bukstein, Edward
Published: (1977)

Practice problems in number systems, logic, and Boolean algebra /
by: 359306 Bukstein, Edward
Published: (1973)

Introduction to analysis and abstract algebra /
by: 395822 Hafstrom, John E.
Published: (1967)

Linear and combinatorial optimization in ordered algebraic structures /
by: 457326 Zimmermann, U.
Published: (1981)

Abstract algebra /
by: 287586 Garrett, Paul B.
Published: (2008)

Logic as algebra /
by: 181502 Halmos, Paul, et al.
Published: (1998)

Basis of algebra /
by: 235525 Berman, Ernest J., et al.
Published: (1976)

Truth, syntax and modality : proceedings /
by: Conference on Alternative Semantics (1970 : Temple University), et al.
Published: (1973)

Algebra /
by: 387070 MacLane, Saunders, et al.
Published: (1979)

Basic algebraic system : an introduction to abstract algebra /
by: 388824 Laatsch, Richard
Published: (1968)

Basic abstract algebra /
by: Bhattacharya, P. B. (Phani Bhushan), 1914-, et al.
Published: (1994)

First course in abstract algebra /
by: 377622 Fraleigh, John B.
Published: (1976)

Abstract algebra /
by: 290715 Dummit, David S., et al.
Published: (2004)

Ordinal algebras /
by: 319988 Tarski, Alfred
Published: (1956)

Abstract algebra /
by: 170958 Lindstrum, Andrew Oliver
Published: (1967)

Modern algebra /
by: 395581 Sandler, Reuben, et al.
Published: (1978)

Abstract algebra /
by: 458204 Sah, Chih-Han
Published: (1967)

Abstract algebra /
by: 289153 Chaudhuri, N. P.
Published: (1983)

Abstract algebra /
by: 399074 Sheth, I.H.
Published: (2002)

School algebra/
by: 405751 Newth, G. H. R., et al.
Published: (1955)

Basic algebra /
by: 385547 McHale, Thomas J., et al.
Published: (1971)

Abstract algebra /
by: 395573 Herstein, I. N.
Published: (1986)

Algebraic structure /
by: 301378 Ellis, Andrew, et al.
Published: (1974)

Algebraic methods of mathematical logic /
by: 404014 Reiger, Ladislav
Published: (1967)