It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by Hermogenes Hebert Pereira Oliveira
September 14, 2011 | History
Hermogenes Hebert Pereira Oliveira / Lists

CAPES

15 items

Sorting by Sorted by: List Order | Last Modified
  • Cover of: Proof theory

    First published in 1977 1 edition — 1 previewable work
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proof Theory and Logical Complexity : Volume I (Studies in Proof Theory)

    edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proof theory and intuitionistic systems

    First published in 1971 1 edition — 1 previewable work
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Selected papers in proof theory

    First published in 1992 1 edition work
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Computational logic and proof theory

    First published in 1993 2 editions work
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: On normalization of proofs in set theory

    First published in 1988 1 edition work
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Basic proof theory

    edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Computation and proof theory

    First published in 1984 1 edition work
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proof theory and automated deduction

    First published in 1997 1 edition work
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Computational logic and proof theory

    First published in 1997 2 editions — 1 previewable work
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Complexity of proofs and their transformations in axiomatic theories

    First published in 1993 1 edition work
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proof theory of impredicative subsystems of analysis

    First published in 1988 1 edition work
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Identity of proofs

    First published in 2001 1 edition work
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Intuitionism.: An introduction.

    edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal systems and recursive functions

    First published in 1965 1 edition work
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today

History

September 14, 2011 Edited by Hermogenes Hebert Pereira Oliveira updated list seeds.
September 14, 2011 Edited by Hermogenes Hebert Pereira Oliveira updated list seeds.
September 14, 2011 Edited by Hermogenes Hebert Pereira Oliveira updated list seeds.
September 14, 2011 Edited by Hermogenes Hebert Pereira Oliveira updated list seeds.
September 14, 2011 Created by Hermogenes Hebert Pereira Oliveira Created new list.