16 Ergebnisse für: provable
-
Das römische Gräberfeld von Rheingönheim - MADOC
http://madoc.bib.uni-mannheim.de/madoc/volltexte/2006/1277/
Keine Beschreibung vorhanden.
-
OGND - results/titledata
http://swb.bsz-bw.de/DB=2.104/SET=1/TTL=1/CMD?retrace=0&trm_old=&ACT=SRCHA&IKT=2999&SRT=RLV&TRM=173723675
Keine Beschreibung vorhanden.
-
A hierarchy of formulas in set theory - Azriel Lévy - Google Books
http://books.google.de/books?id=dy4ZAQAAIAAJ&q=azriel
Keine Beschreibung vorhanden.
-
Cryptography.co.de - Ihr Cryptography Shop
http://www.cryptography.co.de
Selected Areas in Cryptography als Buch von, Security and Cryptography for Networks als Buch von, Understanding Cryptography, Number Theory and Cryptography als Buch von, Coding, Cryptography and Combinatorics als Buch von,
-
Gödel's Theorem in Focus - Google Books
https://books.google.de/books?id=TauDhqe5neIC&lpg=PA85
Beginning with a short biography of Kurt Gödel, 'Gödel's Theorem in Focus' provides the reader with a clear guide to the mechanics of Gödel's proof in a format intelligible to the non-mathematician. The book moves on to explanations of the mechanics of…
-
-
-
Natural Deduction: A Proof-Theoretical Study - Dag Prawitz - Google Books
http://books.google.de/books?id=IosnAAAACAAJ
An innovative approach to the semantics of logic, proof-theoretic semantics seeks the meaning of propositions and logical connectives within a system of inference. Gerhard Gentzen invented proof-theoretic semantics in the early 1930s, and Dag Prawitz, the…
-
Practical Foundations of Mathematics - Paul Taylor, Taylor Paul - Google Books
http://books.google.de/books?id=iSCqyNgzamcC
Practical Foundations of Mathematics explains the basis of mathematical reasoning both in pure mathematics itself (algebra and topology in particular) and in computer science. In addition to the formal logic, this volume examines the relationship between…
-
Künstlerischer Opportunismus in der Malerei und Plastik des Dritten Reiches
http://nbn-resolving.de/urn:nbn:de:gbv:084-8382
Keine Beschreibung vorhanden.