An Introduction to mathematical logic and type theory : to truth through proof / P. B. Andrews

By:

Contributor(s):

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Computer science and applied mathematicsPublisher: Orlando, Fla. [u.a.] : Acad. Pr., 1986Description: XV, 304 S. : graph. DarstISBN:

Subject(s):

Genre/Form:

DDC classification:

RVK: RVK: SK 130Local classification: Lokale Notation: Aa 4a | zz2.2LOC classification:

Call number: Grundsignatur: 88 A 572PPN: PPN: 018044190

Holdings
Item type	Home library	Shelving location	Call number	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	88 A 572	Available	46069072090

Total holds: 0