Εξώφυλλο

Κώδικας QR

Formal logic: its scope and limits/

Κύριος συγγραφέας:	Jeffrey, Richard C.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	New York: McGraw-Hill Book Company, 1967.
Ταξινομικός αριθμός:	511.3 JE
Θέματα:	Formal logic.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

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

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

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

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

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

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

An introduction to philoshophical logic /
από: Grayling, A. C.
Στοιχεία έκδοσης: (1997)

Engineering digital design
από: Tinder, Richard F. 1930-2011.
Στοιχεία έκδοσης: (2000)

Cafe an industrial-strength algebraic formal method /
Στοιχεία έκδοσης: (2000)

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)

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)

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

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

Soft computing and its applications /
από: Aliev, R.A.
Στοιχεία έκδοσης: (2001)

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

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)

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)

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)

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

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

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

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