Depotbiblioteket

Love proof

Drama (film)
DVD Svensk 2022

"Death proof"

Grøssarar (film)
DVD Engelsk 2007

The burden of proof

Turow, Scott
Bok Engelsk 1991

Oxford proof

Stallwood, Veronica
Bok Engelsk 2002

Extensional Gödel functional interpretation : a consistency proof of classical analysis

Luckhardt, Horst
Inngår i serie: Lecture notes in mathematics (306)
Bok Språk ikke angitt 1973

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

TYPES 2002
Inngår i serie: Lecture notes in computer science (2646)
Bok Engelsk c2003

Gödel's proof

Nagel, Ernest
Bok Engelsk 1989

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003 : revised selected papers

TYPES 2003
Inngår i serie: Lecture notes in computer science (3085)
Bok Engelsk c2004

Types for proofs and programs : international workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers

TYPES '96
Inngår i serie: Lecture notes in computer science (1512)
Bok Engelsk c1998

Using Z : specification, refinement, and proof

Woodcock, Jim
Inngår i serie: Prentice Hall international series in computer science
Bok Engelsk 1996

Mind the stop : a brief guide to punctuation with a note on proof-correction

Carey, G. V.
Inngår i serie: Penguin reference books
Bok Engelsk 1976

Discrete mathematics : proof techniques and mathematical structures

Penner, R. C.
Bok Engelsk c1999

Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture

Elisabeth Bouscaren (ed.)
Inngår i serie: Lecture notes in mathematics (1696)
Bok Engelsk c1998

Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers

TYPES 2000
Inngår i serie: Lecture notes in computer science (2277)
Bok Engelsk c2002

Proof theory : an introduction

Pohlers, Wolfram
Inngår i serie: Lecture notes in mathematics (1407)
Bok Språk ikke angitt 1989

Proof

Francis, Dick
Bok Engelsk 1985

Utilizing problem structure in planning : a local search approach

Hoffmann, Jörg
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2854)
Bok Engelsk c2003

Human interactive proofs : second international workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005 : proceedings

HIP 2005
Inngår i serie: Lecture notes in computer science (3517)
Bok Engelsk c2005

The Nazi ancestral proof : genealogy, racial science, and the final solution

Ehrenreich, Eric
Bok Engelsk cop. 2007

Proof of heaven : a neurosurgeon's journey into the afterlife

Alexander, Eben
Bok Engelsk 2012

Ikke ledig · ca 1 uke ventetid

Proof theory and intuitionistic systems

Scarpellini, Bruno
Inngår i serie: Lecture notes in mathematics (212)
Bok Språk ikke angitt 1971

Types for proofs and programs : international workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

TYPES '99
Inngår i serie: Lecture notes in computer science (1956)
Bok Engelsk c2000

Types for proofs and programs : international workshop, TYPES'98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

TYPES '98
Inngår i serie: Lecture notes in computer science (1657)
Bok Engelsk c1999

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers

TYPES 2004
Inngår i serie: Lecture notes in computer science (3839)
Bok Engelsk c2006

Proof and knowledge in mathematics

edited by Michael Detlefsen
Bok Engelsk 1992

Canonical equational proofs

Bachmair, Leo
Inngår i serie: Progress in theoretical computer science
Bok Engelsk 1991

Proofs and refutations : the logic of mathematical discovery

Lakatos, Imre
Bok Engelsk 1976

Abel's proof : an essay on the sources and meaning of mathematical unsolvability

Pesic, Peter
Bok Engelsk cop. 2003

Proof

directed by: John Madden
DVD Engelsk c2006

Gross ideas : tales of tomorrow's architecture

editors : Edwina Attlee with Phineas Harp...
Bok Engelsk september 2019

Ikke ledig · ca 2 - 4 uker ventetid

a-ha: Hunting high and low

Bendel, Larissa
Inngår i serie: Morgenbladet topp 100 (3)
Bok Engelsk 2012

Absolute proof

James, Peter
Roman
Bok Engelsk 2018

Abels bevis : å løse det uløselige

Pesic, Peter
Bok Bokmål cop. 2005

Fellende bevis

Turow, Scott
Romaner
Bok Bokmål cop. 2007

Favoured Nations, 29 Aug-18 Oct, Moss, Norway 2009

Favoured Nations (utstilling)
Bok Engelsk 2009

Baby eller ikke

Giffin, Emily
Inngår i serie: Feelgood / Cappelen Damm
Romaner
Bok Bokmål 2015

Himmelen finnes : en nevrokirurgs fascinerende reise inn i døden og tilbake

Alexander, Eben
Bok Bokmål 2014

Himmelen finnes : en nevrokirurgs fascinerende reise inn i døden og tilbake

Alexander, Eben
Selvbiografier
Bok Bokmål 2013

Baby eller ikke

Giffin, Emily
Inngår i serie: Bag of fun
Romaner
Bok Bokmål 2008

Baby eller ikke

Giffin, Emily
Romaner
Bok Bokmål 2009

Sterke beviser

Francis, Dick
Bok Bokmål 1986 · Les på nett

Soul Theory
Språk ikke angitt 2014-11-17 · Forventes utgitt en.on.Comp

Arctic lights

[editor-in-chief: Arne C. Nilssen ; edito...
Inngår i serie: Way north
Bok Engelsk 2006

Author's guide for preparing manuscript and handling proof

Bok Engelsk 1950

Hugh Maclennan, Alex Lazzarino og E. Kent...
Bok Bokmål [1986]

[curators: Heidi Bjørgan ... [et al.] ; p...
Utstillingskataloger
Bok Engelsk 2014

Body of proof. The complete first season.

[created by Christopher Murphey]
Drama
DVD Flerspråklig [2012]

Ikke ledig · ca 2 - 4 uker ventetid

Body of proof. The complete second season.

[created by Christopher Murphey]
Drama
DVD Engelsk [2012]

Ikke ledig · ca 2 - 4 uker ventetid

Body of proof. The complete third season.

[created by Christopher Murphey]
Drama
DVD Flerspråklig 2013

Ikke ledig · ca 2 - 4 uker ventetid