Logic and algebra /

Logic and algebra /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Zhang, Υι, 1964- (επιμελητής), Belegradek, Oleg (συγγραφέας προλόγου)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Providence, R.I. : American Mathematical Society, c2002.
Σειρά:	Contemporary mathematics (American Mathematical Society) ; v. 302.
Θέματα:	Λογική, Συμβολική και μαθηματική Άλγεβρα Μαθηματικά μοντέλα

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

Model-theoretic logics
Έκδοση: (1985)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
ανά: Keisler, H. Jerome
Έκδοση: (1971)

Ordinal algebras /
ανά: Tarski, Alfred
Έκδοση: (1956)

Residuated lattices : an algebraic glimpse at substructural logics /
ανά: Galatos Nikolaos
Έκδοση: (2007)

θεωρία και προβλήματα στα διακριτά μαθηματικά /
ανά: Lipschutz, Seymour
Έκδοση: (2003)

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
ανά: Lau, Dietlinde
Έκδοση: (2006)

Cardinal Invariants on Boolean Algebras
ανά: Monk, J. Donald (James Donald), 1930-
Έκδοση: (2010)

Ockham algebras
ανά: Blyth, T. S. (Thomas Scott)
Έκδοση: (1994)

Max Plus at work modeling and analysis of synchronized systems: a course on Max-Plus algebra and its applications
ανά: Heidergott, Bernd
Έκδοση: (2006)

Logic as algebra /
ανά: Halmos, Paul R. (Paul Richard), 1916-2006
Έκδοση: (1998)

Set Theory Centre de Recerca MatemΓ tica Barcelona, 2003β2004
ανά: Bagaria, Joan
Έκδοση: (2006)

Computability and logic
ανά: Boolos, George S.
Έκδοση: (2002)

Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
ανά: Chudnovsky, D. (David), 1947-
Έκδοση: (2010)

An algebraic introduction to mathematical logic /
ανά: Barnes, D. W. (Donald W.), 1935-
Έκδοση: (1975)

Logic in algebraic form : three languages and theories /
ανά: Craig, William, 1918-
Έκδοση: (1974)

Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society Monash University, Australia /
Έκδοση: (1975)

Logic, sets, and recursion
ανά: Causey, Robert L.
Έκδοση: (2001)

Statistics of the Boolean model for practitioners and mathematicians
ανά: Molchanov, Ilya S.
Έκδοση: (1997)

Logic for physicists /
ανά: Pereyra, Nicolas A.
Έκδοση: (2018)

Introduction to Logic and to the methology of deductive sciences
ανά: Tarski, Alfred
Έκδοση: (1965)

Μπουλιανά μοντέλα και εφαρμογές
ανά: Σαχάτρε, Μωχάμετ
Έκδοση: (1992)

Modern uses of multiple-valued logic invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975
Έκδοση: (1977)

Logic and algebra of specification /
Έκδοση: (1993)

Mathematical logic for computer science
ανά: Mordechai, Ben-Ari
Έκδοση: (2001)

Logic and discrete mathematics a computer science perspective
ανά: Grassmann, Winfried Karl
Έκδοση: (1996)

Logic : techniques of formal reasoning /
ανά: Kalish, Donald
Έκδοση: (1980)

Modal logic an introduction
ανά: Chellas, Brian F.
Έκδοση: (1995)

Logic for mathematicians
ανά: Hamilton, E. G.
Έκδοση: (1988)

Combinatory logic /
ανά: Curry, Haskell B. 1900- (Haskell Brooks)
Έκδοση: (1958)

Symbolic logic /
ανά: Lewis, Clarence Irving
Έκδοση: (1959)

Elementary logic
ανά: Quine, W. V. (Willard Van Orman), 1908-2000
Έκδοση: (1965)

Mathematical logic /
ανά: Shoenfield, Joseph R., 1927- (Joseph Robert)
Έκδοση: (1967)

Mathematical logic /
ανά: Ebbinghaus, Heinz-Dieter, 1939-
Έκδοση: (1994)

Logic and structure /
ανά: Dalen, D. van (Dirk), 1932-
Έκδοση: (2004)

Mathematical logic
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1967)

The language of logic
ανά: Freudenthal, Hans, 1905-
Έκδοση: (1966)

Introduction to logic
ανά: Suppes, Patrick 1922-2014
Έκδοση: (1957)

Mathematical logic /
ανά: Monk, J. Donald 1930- (James Donald)
Έκδοση: (1976)

Logic of mathematics a modern course of classical logic
ανά: Adamowicz, Zofia
Έκδοση: (1997)

Logic Colloquium : Symposium on Logic Held at Boston, 1972-73 /
Έκδοση: (1975)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών