Lataa…

QR-koodi

Logic, algebra and databases

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Gray, Peter M. D.
Aineistotyyppi:	Kirja
Kieli:	englanti
Julkaistu:	Chichester Horwood 1984
Sarja:	Ellis Horwood series in computers and their applications 29
Aiheet:	Logic, Symbolic and mathematical Database management
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

Logic and databases /
Julkaistu: (1978)

Logic and structure
Tekijä: Dalen, D. van (Dirk), 1932-
Julkaistu: (1983)

Logic and structure
Tekijä: Dalen, D. van (Dirk van), 1932-
Julkaistu: (1980)

Principles of mathematical logic /
Tekijä: Hilbert, D.
Julkaistu: (1990)

The language of logic /
Tekijä: Freudenthal, Hans, 1905-
Julkaistu: (1966)

Logic of mathematics : a modern course of classical logic /
Tekijä: Adamowicz, Zofia
Julkaistu: (1997)

Introduction to mathematical logic
Tekijä: Mendelson, Elliott
Julkaistu: (1979)

Introduction to symbolic logic /
Tekijä: Smith, Karl J.
Julkaistu: (1991)

A course in mathematical logic
Tekijä: Bell, J. L. (John Lane)
Julkaistu: (1977)

Logic and algorithms : with applications to the computer and information sciences /
Tekijä: Korfhage, Robert R.
Julkaistu: (1966)

Math and logic games
Tekijä: Agostini, Franco
Julkaistu: (1983)

Sets, logic, and axiomatic theories /
Tekijä: Stoll, Robert Roth
Julkaistu: (1961)

An introduction to mathematical logic and type theory : to truth through proof /
Tekijä: Andrews, P. B. (Peter Bruce), 1937-
Julkaistu: (1986)

Elements of logic and foundations of mathematics in problems /
Tekijä: Wiktor, Marek
Julkaistu: (1982)

The logical and set-theoretical foundations of mathematics /
Tekijä: Zulauf, Achim
Julkaistu: (1969)

Direct and converse theorems : the elements of symbolic logic /
Tekijä: Gradshtein, I. S.
Julkaistu: (1963)

Logic : a foundation for computer science /
Tekijä: Sperschneider, V.
Julkaistu: (1991)

How to read and do proofs an introduction to mathematical thought process
Tekijä: Solow, Daniel
Julkaistu: (1982)

Mathematical thinking /
Tekijä: Godwin, D. C.
Julkaistu: (1971)

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
Julkaistu: (1982)

Logic for problem solving
Tekijä: Kowalski, Robert
Julkaistu: (1979)

Computability : computable functions, logic, and the foundations of mathematics /
Tekijä: Epstein, Richard L.
Julkaistu: (1989)

Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 /
Julkaistu: (1986)

Mathematics and plausible reasoning
Tekijä: Polya, George, 1887-1985
Julkaistu: (1968)

Introduction to the foundations of mathematics /
Tekijä: Wilder, Raymond Louis, 1896-
Julkaistu: (1965)

Equational logic as a programming language
Tekijä: O'Donnell, Michael J., 1952-
Julkaistu: (1985)

Fuzzy logic technology and applications I /
Julkaistu: (1994)

A first course in formal logic and its applications in computer science /
Tekijä: Dowsing, Roy
Julkaistu: (1986)

Foundations of computing : system development with set theory and logic /
Tekijä: Scheurer, Thierry
Julkaistu: (1994)

Tractus logico-philosophicus /
Tekijä: Wittgenstein, Ludwig, 1889-1951
Julkaistu: (1961)

Advanced work in English /
Tekijä: Parker,C. R. E. (Colin Rodwell Eric)
Julkaistu: (1967)

An introduction to modern mathematics /
Tekijä: Monjallon, Albert
Julkaistu: (1967)

Formal methods in artificial intelligence /
Tekijä: Ramsay, Allan, 1953-
Julkaistu: (1988)

Database : a primer /
Tekijä: Date, C. J.
Julkaistu: (1983)

Database step-by-step
Tekijä: Gillenson, Mark L.
Julkaistu: (1985)

The elements of logic /
Tekijä: Barker, Stephen Francis
Julkaistu: (1974)

Fundamentals of logic /
Tekijä: Carney, James Donald
Julkaistu: (1974)

Managing database : four critical factors /
Tekijä: Gorman, Michael M.
Julkaistu: (1984)

Database systems : design, implementation, and management /
Tekijä: Rob, Peter

Database systems : design, implementation, and management /
Tekijä: Rob, Peter