TY -
BOOK
AU - Paulson, Lawrence C.
TI -
Logic and computation
interactive proof with Cambridge LCF
ET - 1. paperback ed.
PB - Cambridge Univ. Press
SN - 0521346320
SN - 0521395607
KW - Berechenbarkeit
KW - Mathematische Logik
PY - 1990
BT - Cambridge tracts in theoretical computer science ; 2
CY - Cambridge [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -