First-order logic :

First-order logic : a concise introduction

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Heil, John
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Boston : Jones and Bartkett Publishers, c1994.
Σειρά:	Jones and Bartlett series in logic, critical thinking and scientific method
Θέματα:	First-order logic.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

First order mathematical logic
από: Μάργαρης, Άγγελος
Δημοσίευση: (1990)

Lattice of chapters of mathematics :
από: Mycielski, Jan 1932-
Δημοσίευση: (1990)

A first course in order statistics
από: Arnold, Barry C.
Δημοσίευση: (1992)

The first crusade
από: Runciman, Steven Sir 1903-
Δημοσίευση: (1980)

Linear Orderings
από: Rosenstein, Joseph G.
Δημοσίευση: (1982)

Order statistics
από: David, H. A. (Herbert Aron) 1925-
Δημοσίευση: (2003)

Order statistics
από: David, H. A. (Herbert Aron) 1925-
Δημοσίευση: (1981)

Orderable groups
από: Mura, Roberta, κ.ά.
Δημοσίευση: (1977)

International orders
από: Hall, John A. 1949-
Δημοσίευση: (1996)

Order
Δημοσίευση: (1984)

Stochastic orders and their applications
από: Shaked, Moshe 1945-
Δημοσίευση: (1994)

Greece prepares for the twenty-first century
Δημοσίευση: (1995)

First steps in modal logic
από: Popkorn, Sally
Δημοσίευση: (1994)

Knightly piety and the lay response to the First Crusade :
από: Bull, Marcus Graham
Δημοσίευση: (1993)

Ordered algebraic structures :
Δημοσίευση: (1989)

Pecking order
από: Berthoud, Joy
Δημοσίευση: (1996)

Statistical inference under order restrictions :
Δημοσίευση: (1972)

Lattices and ordered algebraic structures
από: Blyth, T. S. (Thomas Scott)
Δημοσίευση: (2005)

Άλγεβρα
από: Πρωτοπαπάς, Γ. Ι.
Δημοσίευση: (1971)

A first course in fuzzy logic
από: Nguyen, Hung T., 1944-
Δημοσίευση: (1997)

A first course in fuzzy logic
από: Nguyen, Hung T., 1944-
Δημοσίευση: (2000)

Orderings, valuations, and quadratic forms
από: Lam, T. Y. (Tsit-Yuen), 1942-
Δημοσίευση: (1983)

A general character theory for partially ordered sets and lattices
από: Hofmann, Karl Heinrich
Δημοσίευση: (1972)

Order stars
από: Iserles, A.
Δημοσίευση: (1991)

Logic
από: Hodges, Wilfrid
Δημοσίευση: (2001)

Valuations, orderings, and Milnor K-theory
από: Efrat, Ido 1963-
Δημοσίευση: (2006)

Spaces of orderings and abstract real spectra
από: Marshall, Murray
Δημοσίευση: (1996)

Advances in order restricted statistical inference :
Δημοσίευση: (1986)

Abelian groups and representations of finite partially ordered sets
από: Arnold, David M.
Δημοσίευση: (2000)

Variational methods in partially ordered spaces
Δημοσίευση: (2003)

Markov fields over countable partially ordered sets :
από: Evstigneev, I. V.
Δημοσίευση: (1994)

Logic for applications
από: Nerode, Anil, 1932-
Δημοσίευση: (1993)

Buddhist logic
από: Shcherbatskoi, F. I. (Fedor Ippolitovich), 1866-1942
Δημοσίευση: (1962)

Deviant logic, fuzzy logic :
από: Haack, Susan
Δημοσίευση: (1996)

Logic primer
από: Allen, Colin
Δημοσίευση: (2001)

Philosophy of logics
από: Haack, Susan
Δημοσίευση: (1978)

Introduction to logic
από: Suppes, Patrick, 1922-2014
Δημοσίευση: (1957)

An introduction to logic
από: Mitchell, David, 1914-
Δημοσίευση: (1962)

Modern logic :
από: Thomas, Norman L.
Δημοσίευση: (1966)

Introduction to logic
από: Tarski, Alfred
Δημοσίευση: (1941)