Towards mathematical philosophy : papers from the Studia Logica Conference Trends in Logic IV /
| Corporate Authors: | Studia Logica Conference on Trends in Logic IV Torun̈, Poland, SpringerLink (Online service) |
|---|---|
| Other Authors: | Makinson, David, 1941-, Malinowski, Jacek, Wansing, H. (Heinrich) |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Dordrecht ; London :
Springer,
2008.
|
| Series: | Trends in logic ;
28. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Aspects of mathematical logic : lectures given at the Centro internazionale matematico estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 /
Published: (2010)
Published: (2010)
Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá /
Published: (1999)
Published: (1999)
Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, proceedings /
Published: (2011)
Published: (2011)
Logic and its applications : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings /
Published: (2011)
Published: (2011)
Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings /
Published: (2008)
Published: (2008)
Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings /
Published: (2009)
Published: (2009)
Logic, language, information, and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings /
Published: (2007)
Published: (2007)
Giuseppe Peano between mathematics and logic : proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008 /
Published: (2011)
Published: (2011)
Logic and its applications : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings /
Published: (2009)
Published: (2009)
Logic and the foundations of game and decision theory - LOFT 8 : 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008 : revised selected papers /
Published: (2010)
Published: (2010)
Frontiers of combining systems : 6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 : proceedings /
Published: (2007)
Published: (2007)
Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings /
Published: (2009)
Published: (2009)
Philosophy of logic and mathematics : proceedings of the 41st International Wittgenstein Symposium /
Published: (2019)
Published: (2019)
Symbolic-numeric computation /
by: Wang, Dongming, 1961-
Published: (2007)
by: Wang, Dongming, 1961-
Published: (2007)
Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings /
Published: (2008)
Published: (2008)
The foundations of mathematics /
by: Stewart, Ian
Published: (1979)
by: Stewart, Ian
Published: (1979)
A course on mathematical logic /
by: Srivastava, S. M. (Shashi Mohan)
Published: (2008)
by: Srivastava, S. M. (Shashi Mohan)
Published: (2008)
A concise introduction to mathematical logic /
by: Rautenberg, Wolfgang
Published: (2006)
by: Rautenberg, Wolfgang
Published: (2006)
Mathematical problems from applied logic II : logics for the XXIst century /
Published: (2006)
Published: (2006)
Mathematical problems from applied logic I : logics for the XXIst century /
Published: (2006)
Published: (2006)
Mathematical logic and model theory : a brief introduction /
by: Prestel, A. (Alexander), 1941-
Published: (2011)
by: Prestel, A. (Alexander), 1941-
Published: (2011)
Strict finitism and the logic of mathematical applications /
by: Ye, Feng
Published: (2011)
by: Ye, Feng
Published: (2011)
Logica : Metodo Breve /
by: Mundici, Daniele, 1946-
Published: (2011)
by: Mundici, Daniele, 1946-
Published: (2011)
Mathematical logic : foundations for information science /
by: Li, Wei, 1943 June-
Published: (2010)
by: Li, Wei, 1943 June-
Published: (2010)
The foundations of mathematics /
by: Stewart, Ian, 1945-, et al.
Published: (2015)
by: Stewart, Ian, 1945-, et al.
Published: (2015)
The foundations of mathematics /
by: Stewart, Ian, 1945-, et al.
Published: (1977)
by: Stewart, Ian, 1945-, et al.
Published: (1977)
Logical foundations of computer science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009 : Proceedings /
Published: (2009)
Published: (2009)
Logics in artificial intelligence : 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 : proceedings /
Published: (2010)
Published: (2010)
Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings /
Published: (2007)
Published: (2007)
Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 : proceedings /
Published: (2008)
Published: (2008)
Logica universalis : towards a general theory of logic /
Published: (2007)
Published: (2007)
Gentzen calculi for modal propositional logic /
by: Poggiolesi, Francesca, 1980-
Published: (2011)
by: Poggiolesi, Francesca, 1980-
Published: (2011)
Frontiers of combining systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedings /
Published: (2011)
Published: (2011)
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Published: (1980)
Published: (1980)
Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings /
Published: (2005)
Published: (2005)
Grammatical inference: algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 ; proceedings /
Published: (2008)
Published: (2008)
Grammatical inference : theoretical results and applications : 10th international colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010 : proceedings /
Published: (2010)
Published: (2010)
In the light of logic /
by: Feferman, Solomon
Published: (1998)
by: Feferman, Solomon
Published: (1998)
Handbook of spatial logics /
Published: (2007)
Published: (2007)
Logic, sets, and recursion /
by: Causey, Robert L.
Published: (1994)
by: Causey, Robert L.
Published: (1994)