Your search returned 3 results.

Not what you expected? Check for suggestions

Results
		No cover image available Institution-independent model theory [electronic resource] / Razvan Diaconescu. by Diaconescu, Razvan \| ProQuest (Firm). Series: Studies in universal logicMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Basel ; Boston : Birkhauser, c2008Online access: Click to View Availability: No items available. Add to cart (remove)
		Completeness theory for propositional logics [electronic resource] / Witold A. Pogorzelski, Piotr Wojtylak. by Pogorzelski, Witold, 1944- \| Wojtylak, Piotr \| ProQuest (Firm). Series: Studies in universal logicMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Basel ; Boston : Birkhauser, c2008Online access: Click to View Availability: No items available. Add to cart (remove)
		Kripke's worlds : an introduction to modal logics via Tableaux / Olivier Gasquet [and three others]. by Gasquet, Olivier. Series: Studies in universal logicMaterial type: Text; Format: available online ; Literary form: Not fiction Publisher: Basel ; New York : Springer, [2014]Copyright date: 2014Online access: Click to View Availability: No items available. Add to cart (remove)

Refine your search