Temporal logic and state systems / :: UTM Library Massive Scholar Tracking

Bibliographic Details
Main Authors:	Kroger, Fred, 1945-, Merz, Stephan
Format:
Language:	eng
Published:	Berlin : Springer-Verlag, 2008
Subjects:	Tense (Logic) Logic, Symbolic and mathematical Time

Logic /
by: 344312 Earle, Nick
Published: (1973)

Logic design theory /
by: Biswas, Nripendra Nath, 1928-
Published: (1993)

Symbolic logic /
by: 372615 Jacquette, Dale
Published: (2001)

Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (2004)

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

Combinatory logic /
by: 351193 Curry, Haskell Brooks, et al.
Published: (1974)

Mathematical logic /
by: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), et al.
Published: (1978)

Introduction to logic /
by: 299767 Copi, Irving M., et al.
Published: (1998)

Mathematical logic /
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)

Mathematical logic /
by: 344925 Monk, James Donald
Published: (1976)

Introduction to logic /
by: Suppes, Patrick, 1922-
Published: (1957)

Mathematical logic /
by: 307997 Shoenfield, Joseph Robert
Published: (1967)

Logic : proof
by: Open University. Mathematics Foundation Course Team
Published: (1971)

Mathematical logic /
by: 365617 Quine, Willard Van Orman
Published: (1951)

Logic : databook /
by: National Semiconductor
Published: (1981)

Mathematical logic /
by: 219920 Ebbinghaus, Heinz-Dieter, et al.
Published: (1994)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1973)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1979)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1954)

Symbolic logic /
by: 389685 Grunberg, Teo
Published: (1972)

Temporal logic and state systems /