Fork algebras in algebra, logic and computer science /

Fork algebras in algebra, logic and computer science /

Spremljeno u:

Bibliografski detalji
Glavni autor:	Frias, Marcelo Fabian (Autor)
Format:	Knjiga
Jezik:	English
Izdano:	New Jersey World Scientific 2002
Teme:	Logic, Symbolic and mathematical. Computer science > Mathematics
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Similar Items

Folk algebras in algebra, logic and computer science
od: Frias, Marcelo Fabian
Izdano: (2002)

Folk algebras in algebra, logic and computer science
od: Frias, Marcelo Fabian
Izdano: (2002)

Cylindric-like Algebras and Algebraic Logic
Izdano: (2013)

Mathematical logic for computer science /
od: Ben-Ari, Mordechai
Izdano: (2012)

Logic for mathematics and computer science /
od: Burris, Stanley N.
Izdano: (1998)

Mathematical logic for computer science /
od: Zhongwan, Lu
Izdano: (1998)

Epistemic logic for AI and computer science /
od: Meyer, John-Jules Ch
Izdano: (1995)

Introduction to boolean algebras
od: Givant, Steven
Izdano: (2009)

Elementary logics : a procedural perspective /
od: Gabbay, Dov M.
Izdano: (1998)

Computation as logic /
od: Lalement, Rene
Izdano: (1993)

Linear logic in computer science /
Izdano: (2004)

Logical foundations of computer science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
od: Artemov, Sergei N.
Izdano: (2007)

Logic functions and equations : binary models for computer science /
od: Posthoff, Christian
Izdano: (2004)

Duality theories for boolean algebras with operators /
od: Givant, Steven
Izdano: (2014)

Cardinal invariants on Boolean Algebras : Second Revised Edition /
od: Monk, J. Donald
Izdano: (2014)

Mathematical logic foundations for information science /
od: Li, Wei
Izdano: (2010)

Mathematical logic : foundations for information science /
od: Li, Wei
Izdano: (2014)

Non-commutative multiple-valued logic algebras /
od: Ciungu, Lavinia Corina
Izdano: (2014)

Logic for computer scientists /
od: Schoning, Uwe
Izdano: (2008)

Mathematical logic /
od: Shoenfield, Joseph R.
Izdano: (1967)

Mathematical logic /
Izdano: (2001)

Mathematical logic /
od: Chiswell, Ian, 1948-
Izdano: (2007)

Introduction to mathematical logic /
od: Walicki, Michał
Izdano: (2012)

Introduction to mathematical logic /
od: Mendelson, Elliott
Izdano: (2010)

Logic, sets and recursions /
od: Causey, Robert L.
Izdano: (2006)

Introduction to mathematical logic /
od: Mendelson, Elliott
Izdano: (1997)

Understanding symbolic logic /
od: Klenk, Virginia
Izdano: (2008)

Journal of mathematical logic.
Izdano: (2001)

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Izdano: (2007)

Combinatorial algebra: syntax and semantics /
od: Sapir, Mark V.
Izdano: (2014)

A concise introduction to mathematical logic
od: Rautenberg, Wolfgang
Izdano: (2010)

Computation as logic /
od: Lalement, Rene
Izdano: (1993)

A Course in mathematical Logic for mathematicians
od: Manin, Yu. I.
Izdano: (2010)

Elementary logics : a procedural perspective /
od: Gabbay, Dov M.
Izdano: (1998)

A Course on Mathematical Logic
od: Srivastava, S. M.
Izdano: (2008)

A mathematical introduction to logic /
od: Enderton, Herbert B.
Izdano: (2001)

A concise introduction to mathematical logic
od: Rautenberg, Wolfgang
Izdano: (2006)

Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Izdano: (2013)

A logical introduction to proof /
od: Cunningham, Daniel W.
Izdano: (2012)

Linear logic in computer science /
Izdano: (2004)