Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013. The 15 revised full papers presented together with 7 invited talks were carefully reviewed and selected from numerous submissions. The papers cover the topics related to pure and applied logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence and other disciplines which are of direct interest to mathematical and philosophical logic.
Band 10000
Kartonierter Einband (Kt) | 2019
Band 10203
Kartonierter Einband (Kt) | 2017
Band 10405
Kartonierter Einband (Kt) | 2017
Band 10426
Kartonierter Einband (Kt) | 2017
Band 10427
Kartonierter Einband (Kt) | 2017
Band 10608
Kartonierter Einband (Kt) | 2017
Band 10846
Kartonierter Einband (Kt) | 2018
Band 10861
Kartonierter Einband (Kt) | 2018
Band 10862
Kartonierter Einband (Kt) | 2018
Band 10960
Kartonierter Einband (Kt) | 2018
Band 10961
Kartonierter Einband (Kt) | 2018
Band 10962
Kartonierter Einband (Kt) | 2018
Band 10963
Kartonierter Einband (Kt) | 2018
Band 10964
Kartonierter Einband (Kt) | 2018
Band 11536
Kartonierter Einband (Kt) | 2019
Band 11537
Kartonierter Einband (Kt) | 2019
Band 11538
Kartonierter Einband (Kt) | 2019
Band 11539
Kartonierter Einband (Kt) | 2019
Band 11540
Kartonierter Einband (Kt) | 2019
Band 3381
Kartonierter Einband (Kt) | 2005
Band 3404
Kartonierter Einband (Kt) | 2005
Band 3441
Kartonierter Einband (Kt) | 2005
Band 3515
Kartonierter Einband (Kt) | 2005
Band 3618
Kartonierter Einband (Kt) | 2005
Band 3634
Kartonierter Einband (Kt) | 2005
Band 3643
Kartonierter Einband (Kt) | 2005
Band 3701
Kartonierter Einband (Kt) | 2005
Band 3718
Kartonierter Einband (Kt) | 2005
Band 3740
Kartonierter Einband (Kt) | 2005
Band 3787
Kartonierter Einband (Kt) | 2005
Band 3967
Kartonierter Einband (Kt) | 2006
Band 4136
Kartonierter Einband (Kt) | 2006
Band 4144
Kartonierter Einband (Kt) | 2006
Band 4162
Kartonierter Einband (Kt) | 2006
Band 4207
Kartonierter Einband (Kt) | 2006
Band 4362
Kartonierter Einband (Kt) | 2007
Band 4435
Kartonierter Einband (Kt) | 2008
Band 4487
Kartonierter Einband (Kt) | 2007
Band 4489
Kartonierter Einband (Kt) | 2007
Band 4514
Kartonierter Einband (Kt) | 2007
Band 4739
Kartonierter Einband (Kt) | 2007
Band 4769
Kartonierter Einband (Kt) | 2007
Band 4770
Kartonierter Einband (Kt) | 2007
Band 4910
Kartonierter Einband (Kt) | 2008
Band 4962
Kartonierter Einband (Kt) | 2008
Band 5592
Kartonierter Einband (Kt) | 2009
Band 5593
Kartonierter Einband (Kt) | 2009
Band 5913
Kartonierter Einband (Kt) | 2009
Band 6048
Kartonierter Einband (Kt) | 2010
Band 6072
Kartonierter Einband (Kt) | 2010
Band 7464
Kartonierter Einband (Kt) | 2012
Band 7805
Kartonierter Einband (Kt) | 2013
Band 8559
Kartonierter Einband (Kt) | 2014
Band 9224
Kartonierter Einband (Kt) | 2016
Band 9587
Kartonierter Einband (Kt) | 2016
Band 9780
Kartonierter Einband (Kt) | 2016