Εξώφυλλο

Κώδικας QR

Logic, sets, and recursion /

Κύριος συγγραφέας:	Causey, Robert L.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Boston : Jones and Bartlett, 2001
Έκδοση:	Rev. ed.
Σειρά:	Jones and Bartlett books in mathematics.
Ταξινομικός αριθμός:	511.3 CAU
Θέματα:	Logic, Symbolic and mathematical.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Elementary logic /
από: Quine, Willard Orman van.
Στοιχεία έκδοσης: (1981)

Mathematical logic
από: Turing, Alan Mathison, 1912-1954.
Στοιχεία έκδοσης: (2001)

Incosistent mathematicics /
από: Mortensen, Chris.
Στοιχεία έκδοσης: (1995)

Foundations of mathematical logic/
από: Curry, Haskell B., 1900-
Στοιχεία έκδοσης: (1977)

Logic and knowledge : essays 1901-1950 /
από: Russell, Bertrand, 1872-1970.
Στοιχεία έκδοσης: (1971)

Handbook of mathematical logic /
Στοιχεία έκδοσης: (1977)

Mathematical logic /
από: Chiswell, Ian, 1948-
Στοιχεία έκδοσης: (2007)

Closure spaces and logic /
από: Martin, Norman M.
Στοιχεία έκδοσης: (1996)

Logic-based decision support : mixed integer model formulation /
από: Jeroslow, Robert G., 1942-
Στοιχεία έκδοσης: (1989)

Logic for applications /
από: Nerode, Anil.
Στοιχεία έκδοσης: (1997)

Temporal Logic of Programs /
Στοιχεία έκδοσης: (1987)

Schaum's outline of theory and problems of discrete mathematics /
από: Lipschutz, Seymour.
Στοιχεία έκδοσης: (1976)

Computation, Logic, Philosophy: a collection of essays /
από: Hao, Wang.
Στοιχεία έκδοσης: (1990)

Nomonotonic Logics: basic concepts, results, and techniques /
από: Schlechta, Karl.
Στοιχεία έκδοσης: (1997)

Logic /
από: Hodges, Wilfrid.
Στοιχεία έκδοσης: (1977)

Elements of the theory of computation /
από: Lewis, Harry R.
Στοιχεία έκδοσης: (1981)

Analysis and decision making in uncertain systems /
από: Bubnicki, Zdzislaw.
Στοιχεία έκδοσης: (2004)

The logic of partial information /
από: Nait Abdallah, Areski, 1950-
Στοιχεία έκδοσης: (1995)

Στοιχεία θεωρίας υπολογισμού /
από: Lewis, Harry R.
Στοιχεία έκδοσης: (2005)

Symbolic logic and mechanical theorem proving /
από: Chang, Chin-Liang, 1937-
Στοιχεία έκδοσης: (1987)

Logic and algorithms: with applications to the computer and information sciences/
από: Korfhage, Robert R.
Στοιχεία έκδοσης: (1966)

Theory of computation /
από: Kozen, Dexter 1951-
Στοιχεία έκδοσης: (2006)

Εισαγωγή στην ασαφή λογική (Fuzzy Logic) : βασικές αρχές της ασαφούς λογικής με εφαρμογές στην τεχνολογία: στοιχεία ασαφούς συνολοθεωρίας, ασαφούς αριθμητικής, ασαφούς γραμμικής άλγεβρας, ασαφή συστήματα ελέγχου, εφαρμογές Matlab /
από: Θεοδώρου, Γιάννης Α.
Στοιχεία έκδοσης: (2012)

An ontological and epistemological perspective of fuzzy set theory
από: Turksen, I. Burhan, 1937-
Στοιχεία έκδοσης: (2006)

Commonsense reasoning
από: Mueller, Erik T.
Στοιχεία έκδοσης: (2006)

Studies in logic and the foundations of mathematics: vol. 73: Model theory/
από: Chang, C. C.
Στοιχεία έκδοσης: (1977)

Computability and logic /
από: Boolos, George.
Στοιχεία έκδοσης: (1989)

Essays in memory of Imre Lakatos /
Στοιχεία έκδοσης: (1976)

Truth, deduction, and computation : logic and semantics for computer science /
από: Davis, R.E.
Στοιχεία έκδοσης: (1989)

Tractatus Logico-Philosophicus /
από: Wittgenstein, Ludwig, 1889-1951.
Στοιχεία έκδοσης: (2016)

Digital Fundamentals /
από: Floyd, Thomas L.
Στοιχεία έκδοσης: (2000)

Fractals, chaos, power laws : minutes from an infinite paradise /
από: Schroeder, M. R. (Manfred Robert), 1926-
Στοιχεία έκδοσης: (1991)

Advanced computer arithmetic design/
από: Flynn, Michael J., 1934-
Στοιχεία έκδοσης: (2001)

The Posing of questions: logical foundations of Erotetic inferences/
από: Wisniewski, Andrzej.
Στοιχεία έκδοσης: (1995)

Frontiers of combining systems: first international workshops, Munich, March 1996 /
Στοιχεία έκδοσης: (1996)

Reasoning with Logic Programming /
από: Alferes, Jose Julio.
Στοιχεία έκδοσης: (1996)

Enumerability, decidability, computability: An introduction to the theory of recursive functions/
από: Hermes, Hans.
Στοιχεία έκδοσης: (1969)

Formal logic: its scope and limits/
από: Jeffrey, Richard C.
Στοιχεία έκδοσης: (1967)

Inductive logic programming: from machine learning to software engineering /
από: Bergadamo, Francesco.
Στοιχεία έκδοσης: (1995)

The Logic of Essentialism: an interpretation of Aristotle's Modal Syllogistic /
από: Thom, Paul.
Στοιχεία έκδοσης: (1996)