Hoppa till sidans huvudinnehåll

King's College London.) Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science - Böcker

Visar alla böcker från författaren King's College London.) Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science.
3 produkter
Del 9 - Handbook of the History of Logic

Computational Logic

AvDov M. Gabbay,J�rg H. Siekmann,John Woods,Jörg H. Siekmann,King's College London.) Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science,Germany) Siekmann, Jorg H. (University of Saarland,Canada) Woods, John (University of British Columbia, Vancouver,Dov M Gabbay,Jörg H Siekmann

Inbunden, Engelska, 2014

2 869 kr

Skickas inom 7-10 vardagar

Del 153 - Studies in Logic and the Foundations of Mathematics

Quantification in Nonclassical Logic

AvDov M. Gabbay,Dimitrij Skvortsov,Valentin Shehtman,King's College London.) Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science,UK) Skvortsov, Dimitrij (Department of Computer Science, King's College London,UK) Shehtman, Valentin (Department of Computer Science, King's College London

Inbunden, Engelska, 2009

2 659 kr

Skickas inom 7-10 vardagar

Del 10 - Handbook of the History of Logic

Inductive Logic

AvDov M. Gabbay,John Woods,King's College London.) Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science,Canada) Woods, John (University of British Columbia, Vancouver,Stephan Hartmann

Inbunden, Engelska, 2011

2 999 kr

Skickas inom 7-10 vardagar