Proof-theoretic semantics

Proof-theoretic semantics

by Francez, Nissim

Type Book
Rate 0.0 /5

Title Statements

  • Full title :Proof-theoretic semantics / [by] Nissim Francez.

Edition Statements

  • Publication Date:2015

Publication Statements

The Physical Object

  • Description:415 p. : 24 cm.

Edition Identifiers

  • ISBN:9781848901834, 1848901836
  • oclc:on1342453696

Writers

More from this Series

  • Philosophical aspects of symbolic reasoning in early modern mathemati…

    ©2010.
    more →
    Philosophical aspects of symbolic reasoning in early modern mathematics
  • Philosophical aspects of symbolic reasoning in early modern mathemati…

    copyright 2010
    more →
    Philosophical aspects of symbolic reasoning in early modern mathematics
  • Philosophical aspects of symbolic reasoning in early modern mathemati…

    2010.
    more →
    Philosophical aspects of symbolic reasoning in early modern mathematics
  • Philosophical aspects of symbolic reasoning in early modern mathemati…

    ©2010.
    more →
    Philosophical aspects of symbolic reasoning in early modern mathematics
  • Philosophical aspects of symbolic reasoning in early modern mathemati…

    ©2010.
    more →
    Philosophical aspects of symbolic reasoning in early modern mathematics

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Proof-theoretic Semantics -- (.pdf)

    PDF · 33.1 MB · updated
  • Proof-theoretic Semantics -- (.djvu)

    DJVU · 6.6 MB · updated