Εξώφυλλο

Κώδικας QR

The Logic of Essentialism: an interpretation of Aristotle's Modal Syllogistic /

Κύριος συγγραφέας:	Thom, Paul.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Dordrecht: Kluwer Academic Publishers, 1996.
Σειρά:	The New Synthese Historical Library.
Ταξινομικός αριθμός:	160 TH.
Θέματα:	Logic of Essentialism.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

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

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

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

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

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

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

The Possible and the actual : readings in the metaphysics of modality /
Στοιχεία έκδοσης: (1979)

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

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

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

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

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

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

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

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

Quebec studies in the philoshophy of science /
Στοιχεία έκδοσης: (1996)

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)

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)

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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