Library - International Centre for Theoretical Sciences catalog › Results of search for 'ccl=au:"Wolfgang Thomas"'

Your search returned 3 results.

Not what you expected? Check for suggestions

	1.	Computer Science Logic by Mogens Nielsen, Wolfgang Thomas. Series: Lecture Notes in Computer ScienceEdition: 1998Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1998Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	2.	Foundations of Software Science and Computation Structures by Wolfgang Thomas. Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	3.	Mathematical Logic by H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas. Series: Undergraduate Texts in MathematicsEdition: 2nd ed. 1994Material type: Computer file; Format: electronic Publication details: Springer New York 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)