Bücher nach ISBN > Springer > C. P. Wadsworth

C. P. Wadsworth

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Edinburgh LCF: A Mechanized Logic of Computation978-3-54O-O9724-2
(3-54O-O9724-4)		2008M. Gordon · R. Milner

C.P. · C. W. · P W. · P Wadsworth

C. P. Wagner