Publication details
Publisher: Springer
Place: Berlin
Year: 2006
Pages: 317-343
Series: International Mathematical Series
ISBN (Hardback): 9780387286884
Full citation:
, "Applied logic", in: Mathematical problems from applied logic I, Berlin, Springer, 2006
Applied logic
a manifesto
pp. 317-343
in: Dov M. Gabbay, Sergei Goncharov, Michael Zakharyaschev (eds), Mathematical problems from applied logic I, Berlin, Springer, 2006Publication details
Publisher: Springer
Place: Berlin
Year: 2006
Pages: 317-343
Series: International Mathematical Series
ISBN (Hardback): 9780387286884
Full citation:
, "Applied logic", in: Mathematical problems from applied logic I, Berlin, Springer, 2006