Εξώφυλλο

Κώδικας QR

Foundations of mathematical logic/

Κύριος συγγραφέας:	Curry, Haskell B., 1900-
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	New York: Dover Publications, 1977
Ταξινομικός αριθμός:	511.3'219 CU
Θέματα:	Logic, Symbolic and mathematical.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

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

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

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

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

Logic, sets, and recursion /
από: Causey, Robert L.
Στοιχεία έκδοσης: (2001)

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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)

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

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

Logicomix /
από: Δοξιάδης, Απόστολος Κ., 1953-
Στοιχεία έκδοσης: (2017)

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

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)

Logic program synthesis and transformation. International workshop, LOPSTR (6th:1996:Stockholm, Sweden), August 28-30, 1996: proceedings/
Στοιχεία έκδοσης: (1997)

Logic programming : formal methods and practical applications /
Στοιχεία έκδοσης: (1995)

Essays in analysis /
από: Russell, Bertrand, 1872-1970.
Στοιχεία έκδοσης: (1973)

Taguchi methods : benefits, impacts, mathematics, statistics, and applications /
από: Mori, Teruo, 1946-
Στοιχεία έκδοσης: (2011)

θεωρία και Προβλήματα στα διακριτά μαθηματικά /
από: Lipschutz, Seymour.
Στοιχεία έκδοσης: (2003)

Εφαρμογές της λογικής στην πληροφορική
από: Στεφανέας, Πέτρος.
Στοιχεία έκδοσης: (2015)