Αποτελέσματα αναζήτησης

1

Εξώφυλλο

Adapting proofs-as-programs : the Curry-Howard protocol /

ανά Poernomo, Iman Hafiz
Έκδοση 2005

Βιβλίο

2

Εξώφυλλο

Proofs and computations /

ανά Schwichtenberg, Helmut
Έκδοση 2012

Βιβλίο

3

Εξώφυλλο

Lectures on the Curry-Howard isomorphism /

ανά Srensen, Morten Heine
Έκδοση 2006

Βιβλίο

4

Εξώφυλλο

Beweistheorie /

ανά Schutte, Kurt
Έκδοση 1960

Βιβλίο

5

Εξώφυλλο

Basic proof theory /

ανά Troelstra, A. S.
Έκδοση 2000

Βιβλίο

6

Εξώφυλλο

Proof theory and automated deduction/

ανά Goubault-Larrecq, Jean
Έκδοση 1997

Βιβλίο

7

Εξώφυλλο

Derivation and computation : taking the Curry-Howard correspondence seriously /

ανά Simmons, Harold
Έκδοση 2000

Βιβλίο

8

Εξώφυλλο

Structural proof theory /

ανά Negri, Sara, 1967-
Έκδοση 2001

Βιβλίο

9

Εξώφυλλο

Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 /

Έκδοση 1998

Βιβλίο

10

Εξώφυλλο

The logic of provability /

ανά Boolos, George S.
Έκδοση 1993

Βιβλίο

11

Εξώφυλλο

An introduction to mathematical reasoning : numbers, sets and functions /

ανά Eccles, Peter J.
Έκδοση 1997

Βιβλίο

12

Εξώφυλλο

Proof theory of modal logic /

Έκδοση 1996

Βιβλίο

13

Εξώφυλλο

The unprovability of consistency : : an essay in modal logic /

ανά Boolos, George S.
Έκδοση 1979

Βιβλίο

14

Εξώφυλλο

Mathematische grundlagenforschung intuitionismus beweistheorie/

ανά Heyting, A.
Έκδοση 1974

Βιβλίο

15

Εξώφυλλο

Handbook of proof theory.

Έκδοση 1998

Βιβλίο

16

Εξώφυλλο

Proof, logic and formalization /

ανά Detlefsen, Michael
Έκδοση 1992

Βιβλίο

17

Εξώφυλλο

Selected papers in proof theory /

ανά Mints, Grigorii E.
Έκδοση 1992

Βιβλίο

18

Εξώφυλλο

Linear logic in computer science /

Έκδοση 2004

Βιβλίο

19

Εξώφυλλο

Proof theory : history and philosophical significance /

Έκδοση 2000

Βιβλίο

Cannot write session to /tmp/vufind_sessions/sess_ghfadi10mtt6lihj1744icrk57