7 Ergebnisse für: intuitionistic
-
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…
-
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=172076331
Keine Beschreibung vorhanden.
-
Aggregation.co.de - Ihr Aggregation Shop
http://www.aggregation.co.de
Aggregation im Network Design. Produktaggregation. Möglichkeit zur Produkteinteilung als Buch von Lili Lenz et al., Rank Aggregation and Context Awareness als Buch von Ph. D. , Hicham Elmongui, Platelet Aggregation in the Pathogenesis of Cerebrovascular…
-
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…
-
The Logical Basis of Metaphysics - Michael Dummett, Professor of Philosophy Michael Dummett - Google Books
http://books.google.de/books?id=lvsVFxK3BPcC
Michael Dummett's new book is the greatly expanded and recently revised version of his distinguished William James Lectures, delivered in 1976. Dummett regards the construction of a satisfactory theory of meaning as the most pressing task of contemporary…
-
Literaturhinweise (AKE, PPF)
http://wayback.archive.org/web/20071105083702/http://www.uni-kiel.de/Paedagogik/Krope/bib.html
Keine Beschreibung vorhanden.
-