Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Proof theory [electronic resource] : the first step into impredicativity / by Wolfram Pohlers.

By:

Pohlers, Wolfram

Contributor(s):

SpringerLink (Online service)

Series: UniversitextPublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.Description: xiii, 374 pages : illustrations, digitalISBN:

9783540693192

Subject(s):

DDC classification:

511.36 22

Online resources:

Click here to access online

In: Springer eBooks

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

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Comments ( 0 )

No physical items for this record

There are no comments on this title.

to post a comment.

Previous

Back to results

Next

661 Introduction to sterilization and disinfection /
by Gardner, Joan F.
662 I, Steve :
663 Migration and refugee law :
664 Australian intellectual property :
by Bowrey, Kathy.
665 Media law :
by Rolph, David.
666 Developing communities for the future /
by Kenny, Susan,
667 Economic justice and shari'a in the Islamic state /
by Asvat, Riyad.
668 Communication and new media :
by Hirst, Martin.
669 Accounting to trial balance /
by Mroczkowski, Nicholas.
670 ORGB /
671 Strategic management :
672 Islamic banking and finance : global perspective on ethics and financial practices :
673 The structure of adverse and favourable pressure gradient turbulent boundary layers /
by Zambri Harun.
674 The professional practice of teaching /
675 Australian cartel regulation :
by Beaton-Wells, Caron.
676 Corporate law /
by Boros, Elizabeth J.
677 The new public health /
by Baum, Frances.
678 Emerging challenges in intellectual property /
679 The international law of human rights /
by McBeth, Adam.
680 A community analysis of periodontal pathogens grown as polymicrobial bioifilm /
by Zamirah Zainal Abidin.

Close

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library