Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005

The future of post-human mathematical logic
von: Baofu, Peter
Veröffentlicht: (2008)

Logic Colloquium 2005 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005
Veröffentlicht: (2007)

Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
Veröffentlicht: (1999)

[Omega]-Bibliography of Mathematical Logic Model Theory
Veröffentlicht: (1987)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Veröffentlicht: (2010)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Veröffentlicht: (2010)

Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978
Veröffentlicht: (1979)

Logic Colloquium '03 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003
Veröffentlicht: (2016)

Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1 - 6, 1999
Veröffentlicht: (2004)

Logic colloquium '02 proceedings of the Annaul European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002
Veröffentlicht: (2006)

Logic Colloquium '02 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002
Veröffentlicht: (2016)

Proceedings of the 14th and 15th Asian Logic Conferences Mumbai, India & Daejeon, South Korea, 5-8 January 2015 & 10-14 July 2017
Veröffentlicht: (2019)

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
Veröffentlicht: (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
Veröffentlicht: (2012)

Logic, construction, computation
Veröffentlicht: (2012)

Twenty-fifth Annual IEEE Symposium on Logic in Computer Science 11-14 July 2010, Edinburgh, Scotland
Veröffentlicht: (2010)

Twenty-eighth Annual IEEE Symposium on Logic in Computer Science 25-28 June 2013, New Orleans, Lousiana
Veröffentlicht: (2013)

Compound statements and mathematical logic
von: Cangelosi, Vincent E.
Veröffentlicht: (1967)

Cabal seminar ... proceedings, Caltech-UCLA Logic Seminar, ...
Veröffentlicht: (1981)

A survey of mathematical logic
Veröffentlicht: (1963)

Mathematical Logic
von: Petkov, Petio P.
Veröffentlicht: (1990)

Five papers on logic and foundations
Veröffentlicht: (1972)

An introduction to practical formal methods using temporal logic
von: Fisher, Michael
Veröffentlicht: (2011)

The connection between modal logic and algorithmic logics
von: Emde Boas, Peter van
Veröffentlicht: (1978)

Towards an arithmetical logic the arithmetical foundations of logic
von: Gauthier, Yvon 1941-
Veröffentlicht: (2015)

Mathematical problems from applied logic II logics for the XXIst century
Veröffentlicht: (2007)

Mathematical logic for computer scienc
von: Lu, Zhongwan
Veröffentlicht: (1989)

From Petri nets to linear logic through categories a survey
von: Martí-Oliet, Narciso, et al.
Veröffentlicht: (1991)

Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London
Veröffentlicht: (2007)

The road to universal logic festschrift for 50th birthday of Jean-Yves Béziau
Veröffentlicht: (2015)

Mathematical logic
von: Chiswell, Ian 1948-
Veröffentlicht: (2007)

Mathematical logic
von: Goodstein, Reuben 1912-1985
Veröffentlicht: (1957)

Mathematical logic
von: Turing, Alan 1912-1954, et al.
Veröffentlicht: (2001)

Logic a first course
von: Fairchild, David L.
Veröffentlicht: (1978)

Conference in Mathematical Logic London 70
Veröffentlicht: (1972)

Intensionality
Veröffentlicht: (2016)