Proofs and types /

ग्रंथसूची विवरण
मुख्य लेखक:	Girard, Jean-Yves
स्वरूप:	Printed Book
भाषा:	English
प्रकाशित:	Cambridge [England] ; New York : Cambridge University Press, 1989.
विषय:	Lambda calculus.

Cultural foundations of mathematics: the nature of mathematical proof and transmission of the calculus from India to Europe in the 16th c CE
द्वारा: Chattopadhyaya, D P; Editor, और अन्य
प्रकाशित: (2007)

लोड हो रहा है...

Mechanics, tensors & virtual works /
द्वारा: Talpaert, Yves
प्रकाशित: (2008)

लोड हो रहा है...

Theory and problems of advanced calculus /
द्वारा: Wrede, Robert C.
प्रकाशित: (2010)

लोड हो रहा है...

Theory and problems of advanced calculus /
द्वारा: Wrede, Robert
प्रकाशित: (2009)

लोड हो रहा है...

Calculus 2 v. v.1 One variable calculus, with an introduction to linear algebra /
द्वारा: Apostol, Tom M.
प्रकाशित: (2009)

लोड हो रहा है...

Calculus with early transcendental functions /
द्वारा: Stewart, James
प्रकाशित: (2009)

लोड हो रहा है...

Calculus /
द्वारा: Thomas, George B.
प्रकाशित: (2009)

लोड हो रहा है...

Calculus 2v.v.2 multi-variable calculus and linear algebra, with applications to differential equati /
द्वारा: Apostol, Tom M.
प्रकाशित: (2010)

लोड हो रहा है...

Calculus : an introductory approach
द्वारा: Niven, Ivan

लोड हो रहा है...

Adapting proofs-as-program: the curry-howard protocol
द्वारा: Poernomo, Iman Hafiz
प्रकाशित: (2005)

लोड हो रहा है...

Calculus for scientists and engineers: an analytical approach
द्वारा: Joshi, K. D.
प्रकाशित: (2002)

लोड हो रहा है...

Integral calculus
द्वारा: Shanti Narayan
प्रकाशित: (2005)

लोड हो रहा है...

Calculus /
द्वारा: Anton, Howard
प्रकाशित: (2010)

लोड हो रहा है...

Elementary analysis: the theory of calculus /
द्वारा: Ross, Kenneth.A
प्रकाशित: (2004)

लोड हो रहा है...

Calculus for the ambitious /
द्वारा: Körner, T. W.
प्रकाशित: (2014)

लोड हो रहा है...

Advanced calculus
द्वारा: Widder, David V.
प्रकाशित: (1971)

लोड हो रहा है...

Calculus /
द्वारा: Spivak, Michael
प्रकाशित: (1973)

लोड हो रहा है...

Selected papers on calculus
द्वारा: Apostol, Tom P
प्रकाशित: (1969)

लोड हो रहा है...

Advanced calculus
द्वारा: Kaplan, Wilfred
प्रकाशित: (1973)

लोड हो रहा है...

Advanced calculus
द्वारा: Nickerson, H K
प्रकाशित: (1959)

लोड हो रहा है...

Introduction to infinitestimal calculus with applications to mechanics and physics
द्वारा: Caunt, G.W
प्रकाशित: (1964)

लोड हो रहा है...

An Introduction to Numerical Analysis
द्वारा: Atkinson, Kendall E
प्रकाशित: (1989)

लोड हो रहा है...

Topics in Functional Analysis and Applications
द्वारा: Kesavan, S
प्रकाशित: (1989)

लोड हो रहा है...

Numerical Methods for Scientific & Engineering Computation
द्वारा: Jain, M K
प्रकाशित: (1989)

लोड हो रहा है...

Functional Analysis with Applications
द्वारा: Choudhary, B
प्रकाशित: (1989)

लोड हो रहा है...

Topics in Functional Analysis and Applications
द्वारा: Kesavan, S
प्रकाशित: (1989)

लोड हो रहा है...

Principal Components Analysis
द्वारा: Dunteman, George H
प्रकाशित: (1989)

लोड हो रहा है...

Introduction to Calculus and Analysis. Vol II
द्वारा: Courant, Richard
प्रकाशित: (1989)

लोड हो रहा है...

Direct methods in the calculus of variations /
द्वारा: Dacorogna, Bernard
प्रकाशित: (1989)

लोड हो रहा है...

Schaum's outline of theory and problems of differential and integral calculus in si metric units /
द्वारा: Ayres, Frank
प्रकाशित: (1989)

Proofs and types /

समान संसाधन

समान संसाधन