Εξώφυλλο

Κώδικας QR

Logic /

Κύριος συγγραφέας:	Hodges, Wilfrid.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Harmondsworth ; New York : Penguin, 1977.
Ταξινομικός αριθμός:	160 HO
Θέματα:	Logic.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

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

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

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

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

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

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)

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

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)

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

Digital logic techniques : principles and practice /
από: Stonham, T. J.
Στοιχεία έκδοσης: (1996)

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

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

Fuzzy logic in artificial intelligence, towards intelligent systems, IJCAI '95 workshop, Montreal, Canada, August 19-21, 1995: selected papers/
Στοιχεία έκδοσης: (1996)

Logic and lexicon: the semantics of the indefinite/
από: Pinkal, Manfred.
Στοιχεία έκδοσης: (1995)

Doing Worlds with worlds: formal semantics without formal metaphysics /
από: Peregrin, Jaroslav.
Στοιχεία έκδοσης: (1995)

Proof theory of modal logic/
Στοιχεία έκδοσης: (1996)

Quantifiers: logics, models and computation, vol. one: Surveys/
Στοιχεία έκδοσης: (1995)

The Resolution calculus/
από: Leitsch, Alexander.
Στοιχεία έκδοσης: (1997)

Fallacies arising from ambiguity/
από: Walton, Douglas.
Στοιχεία έκδοσης: (1996)

Intensionality and truth: an essay on the philosophy of A.N. Prior/
από: Hugly, Philip.
Στοιχεία έκδοσης: (1996)

Computing in horn clause theories/
από: Padawitz, Peter.
Στοιχεία έκδοσης: (1988)

Applied logic: how, what and why logical approaches to natural language/
Στοιχεία έκδοσης: (1995)

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

High-speed digital design : a handbook of black magic /
από: Johnson, Howard W.
Στοιχεία έκδοσης: (1993)

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

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

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

Fuzzy logic and the semantic web
Στοιχεία έκδοσης: (2006)

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

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

Logic and integer programming /
από: Williams, H. P.
Στοιχεία έκδοσης: (2009)

Tarski's world /
από: Barker-Plummer, Dave.
Στοιχεία έκδοσης: (2008)