Your search returned 2 results.

Not what you expected? Check for suggestions

Results
		Bounded variable logics and counting : a study in finite models by Martin Otto. Series: Lecture notes in logic; 9Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press, Association for Symbolic Logic c2016Availability: Items available for loan: Central Library (1)Call number: 511.34 OTT(BOU). Place hold
		Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way by Arnold W. Miller. Series: Lecture notes in logic; 4Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press, Association for Symbolic Logic c2016Availability: Items available for loan: Central Library (1)Call number: 511.322 MIL(DES). Place hold

Refine your search