Logic, computation, hierarchies /
Saved in:
Other Authors: | Selivanov, Victor (honouree.), Brattka, Vasco, 1966- (Editor), Diener, Hannes (Editor), Spreen, Dieter (Editor) |
---|---|
Format: | Electronic eBook |
Language: | English |
Published: |
Boston :
De Gruyter,
[2014]
|
Series: | Ontos mathematical logic ;
v. 4. |
Subjects: | |
Online Access: | An electronic book accessible through the World Wide Web; click to view |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Logic, computation, hierarchies /
Published: (2014)
Published: (2014)
Boolean functions in cryptology and information security
Published: (2008)
Published: (2008)
Boolean functions in cryptology and information security
Published: (2008)
Published: (2008)
Infinity and truth /
Published: (2014)
Published: (2014)
Infinity and truth /
Published: (2014)
Published: (2014)
Codes over rings proceedings of the CIMPA Summer School : Ankara, Turkey, 18-29 August, 2008 /
Published: (2009)
Published: (2009)
Codes over rings proceedings of the CIMPA Summer School : Ankara, Turkey, 18-29 August, 2008 /
Published: (2009)
Published: (2009)
Residuated lattices an algebraic glimpse at substructural logics /
Published: (2007)
Published: (2007)
Residuated lattices an algebraic glimpse at substructural logics /
Published: (2007)
Published: (2007)
Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
Published: (2007)
Published: (2007)
Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
Published: (2007)
Published: (2007)
Categorical structures and their applications proceedings of the North-West European Category Seminar, Berlin, Germany, 28-29 March 2003 /
Published: (2004)
Published: (2004)
Categorical structures and their applications proceedings of the North-West European Category Seminar, Berlin, Germany, 28-29 March 2003 /
Published: (2004)
Published: (2004)
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Published: (2006)
Published: (2006)
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Published: (2006)
Published: (2006)
Property-preserving petri net process algebra in software engineering
by: Huang, Hejiao
Published: (2012)
by: Huang, Hejiao
Published: (2012)
Property-preserving petri net process algebra in software engineering
by: Huang, Hejiao
Published: (2012)
by: Huang, Hejiao
Published: (2012)
Handbook of satisfiability
Published: (2009)
Published: (2009)
Handbook of satisfiability
Published: (2009)
Published: (2009)
Mathematical logic
by: Tourlakis, George J.
Published: (2003)
by: Tourlakis, George J.
Published: (2003)
Mathematical logic
by: Tourlakis, George J.
Published: (2003)
by: Tourlakis, George J.
Published: (2003)
Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
Published: (2009)
Published: (2009)
Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
Published: (2009)
Published: (2009)
A first course in mathematical logic and set theory /
by: O'Leary, Michael L.
Published: (2016)
by: O'Leary, Michael L.
Published: (2016)
A first course in mathematical logic and set theory /
by: O'Leary, Michael L.
Published: (2016)
by: O'Leary, Michael L.
Published: (2016)
Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Published: (2012)
Published: (2012)
Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Published: (2012)
Published: (2012)
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Published: (1998)
Published: (1998)
New perspectives on games and interaction
Published: (2008)
Published: (2008)
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Published: (1998)
Published: (1998)
New perspectives on games and interaction
Published: (2008)
Published: (2008)
Set theory and its logic
by: Quine, W. V. (Willard Van Orman)
Published: (1969)
by: Quine, W. V. (Willard Van Orman)
Published: (1969)
Set theory and its logic
by: Quine, W. V. (Willard Van Orman)
Published: (1969)
by: Quine, W. V. (Willard Van Orman)
Published: (1969)
Advances in logic, artificial intelligence, and robotics LAPTEC 2002 /
Published: (2002)
Published: (2002)
Advances in logic, artificial intelligence, and robotics LAPTEC 2002 /
Published: (2002)
Published: (2002)
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Published: (2010)
Published: (2010)
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Published: (2010)
Published: (2010)
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011
Published: (2013)
Published: (2013)
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011
Published: (2013)
Published: (2013)
Foundations of computing : system development with set theory and logic /
by: Scheurer, Thierry
Published: (1994)
by: Scheurer, Thierry
Published: (1994)
Similar Items
-
Logic, computation, hierarchies /
Published: (2014) -
Boolean functions in cryptology and information security
Published: (2008) -
Boolean functions in cryptology and information security
Published: (2008) -
Infinity and truth /
Published: (2014) -
Infinity and truth /
Published: (2014)