A first course in logic an introduction to model theory, proof theory, computability, and complexity Shawn Hedman

By:

Series: Oxford texts in logic ; 1Publication details: Oxford New York Oxford University Press 2004Description: xx, 431 p ill 25 cmISBN:

Subject(s):

DDC classification:

Other classification:

Online resources:

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	Status	Date due	Barcode
Carti	IMAR	160-HED (Browse shelf(Opens below))	Checked out	04/18/2025	0030427

Previous	No cover image available	No cover image available						Next
Previous	160-GAU La logique interne	160-GAU-2 Logique et fondements des mathematiques	160-HAC An introduction to probability and inductive logic	160-HED A first course in logic an introduction to model theory, proof theory, computability, and complexity	160-KLE Understanding symbolic logic	160-MAK Bridges from classical to nonmonotonic logic	160-PRI Logic : A very short introduction	Next

Contine bibliogr. si index

There are no comments on this title.

to post a comment.