Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Jan Plato von 30 träffar

Titel Författare År Språk
1 Foundations of objective probability Jan von Plato 19-- Engelska
2 Structural Proof Theory 2001 Engelska
3-5 Creating modern probability - its mathematics, physics, and philosophy in historical perspective (flera utgåvor) Jan von Plato 1998 Engelska
6 Structural proof theory Sara Negri 2001 Engelska
7 Gentzens Problem - mathematische Logik im nationalsozialistischen Deutschland 2001 Tyska
8 The interpretation of probabilities - a summary Jan von Plato 1980 Engelska
9 Investigations into the predicate calculus Oiva Ketonen 2022 Engelska
10-11 Proof analysis - a contribution to Hilbert's last problem (flera utgåvor) Sara Negri 2011 Engelska
12 Elements of logical reasoning Jan von Plato 2013 Engelska
13 Proof Analysis: A Contribution to Hilbert's Last Problem Jan. Von Plato uuuu-uuuu Okänt
14-15 The great formal machinery works - theories of deduction and computation at the origins of the digital age (flera utgåvor) Jan von Plato 2017 Engelska
16 Saved from the Cellar - Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics Jan. von Plato 2017 Engelska
17 Elements of logical reasoning / Jan von Plato. electronic resource Jan Von Plato uuuu-uuuu Okänt
18 Can mathematics be proved consistent? - Gödel's shorthand notes & lectures on incompleteness Jan Plato von 2020 Engelska
19 Kurt Gödel: The Princeton Lectures on Intuitionism Maria Hämeen-Anttila 2021 Okänt
20 Creating modern probability : its mathematics, physics, and philosophy in historical perspective / Jan von Plato. electronic resource Jan Von Plato uuuu-uuuu Okänt

1 2 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.