A course on basic model theory

By:

Contributor(s):

Material type: Text

TextLanguage: English Publication details: Springer c2017Description: xix, 291pISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Barcode
Books	Central Library	511.34 SAR(COU) (Browse shelf(Opens below))	1	Available	26226

Total holds: 0

Previous					No cover image available			Next
Previous	511.34 MOD Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997	511.34 OTT(BOU) Bounded variable logics and counting : a study in finite models	511.34 POI(COU) A course in model theory : an introduction to contemporary mathematical logic	511.34 SAR(COU) A course on basic model theory	511.35 ASH(AUT) Automata studies	511.35 FEN(GEN) General recursion theory : an axiomatic approach	511.35 HAD(CEL) Cellular automata : analysis and applications	Next

There are no comments on this title.

to post a comment.