Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Language : albanian Language : english Language : slovak Language : waray Language : welsh Publisher : birkhauser Format : Books Subject : [math.math-lo]mathematics [math]/logic [math.lo]

Item request has been placed!

Item request cannot be made.

Processing Request

Book

What is a logic, and what is a proof ?

Authors : Strassburger, Lutz;

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Source: Logica Universalis ; https://inria.hal.science/inria-00130523 ; Jean-Yves Beziau. Logica Universalis, Birkhäuser, pp.135-145, 2005, 978-3-7643-7259-0

Read More Add to Saved list

Book

What is a logic, and what is a proof ?

Authors : Straßburger, Lutz;

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Source: Logica Universalis ; https://hal.inria.fr/inria-00130523 ; Jean-Yves Beziau. Logica Universalis, Birkhäuser, pp.135-145, 2005, 978-3-7643-7259-0

Read More Add to Saved list