Wir konnten keine exakten Treffer zu Ihrer Suche nach "Paradox and proof-theory" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:
: Paradoxes Between Truth and Proof, Buch

Paradoxes Between Truth and Proof

This book is a collection of essays that offer original logical and philosophical investigations into the century-long endeavor to understand paradoxes. It bridges the gap between the two most prominent t…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 142,37*
John Fahey: Proofs And Refutations, LP

John Fahey
Proofs And Refutations

Aufgenommen in den Jahren 1995 und 1996, größtenteils in John Faheys Zimmer in einer Pension in Salem, Oregon, sind die Performances auf Proofs and Refutations ein Vorgeschmack auf die eigenwillige Kehrtw…

lieferbar innerhalb 1-2 Wochen
LP
EUR 29,99*
Luca Tranchini: Harmony and Paradox, Buch

Luca Tranchini
Harmony and Paradox

Trends in Logic -Band 62

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship be…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 54,75*
: Tests and Proofs, Buch

Tests and Proofs

Lecture Notes in Computer Science -Band 15153

This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods sym…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 142,37*
Fenner Stanley Tanswell: Mathematical Rigour and Informal Proof, Buch

Fenner Stanley Tanswell
Mathematical Rigour and Informal Proof

This Element surveys some of the main options in the literature: the standard view that rigour is logical, the models of proofs as arguments and dialogues, the recipe model of proofs as guiding actions an…

lieferbar innerhalb 1-2 Wochen
Buch
EUR 29,06*
Kevin M. Clermont: A General Theory of Evidence and Proof, Buch

Kevin M. Clermont
A General Theory of Evidence and Proof

Law and Philosophy Library -Band 148

This book reframes the fundamentals of decisionmaking under uncertainty. For almost a century, theorists have spoken of truth-finding in terms of probability. They have said things like some past fact was…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 175,23*
Richard P Townsend: Picasso and the Progressive Proof, Buch

Richard P Townsend
Picasso and the Progressive Proof

On the 50th anniversary of Picasso's (1881-1973) death, a book devoted to the progressive proofs by the leading Spanish master. While there has been considerable interest in Pablo Picassös late work ove…

lieferbar innerhalb 1-2 Wochen
Buch
EUR 46,36*
Fenner Stanley Tanswell: Mathematical Rigour and Informal Proof, Buch

Fenner Stanley Tanswell
Mathematical Rigour and Informal Proof

This Element surveys some of the main options in the literature: the standard view that rigour is logical, the models of proofs as arguments and dialogues, the recipe model of proofs as guiding actions an…

lieferbar innerhalb 1-2 Wochen
Buch
EUR 91,56*
Joseph E Aoun: Robot-Proof, Revised and Updated Edition, Buch

Joseph E Aoun
Robot-Proof, Revised and Updated Edition

"A thoroughly updated and revised edition of a university president's recommendations for providing the next generation of college students with the critical skills needed to work with, and alongside, AI"…

lieferbar innerhalb 1-2 Wochen
Buch
EUR 25,93*
William Joynson Cocker: Hand-book of punctuation, with instructions for capitalization, letter-writing, and proof-reading, Buch

William Joynson Cocker
Hand-book of punctuation, with instructions for capitalization, letter-writing, and proof-reading

Reprint of the original, first published in 1878. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 49,90*
William Joynson Cocker: Hand-book of punctuation, with instructions for capitalization, letter-writing, and proof-reading, Buch

William Joynson Cocker
Hand-book of punctuation, with instructions for capitalization, letter-writing, and proof-reading

Reprint of the original, first published in 1878. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 29,90*
Tor Stålhane: Functional Safety and Proof of Compliance, Buch

Tor Stålhane, Thor Myklebust
Functional Safety and Proof of Compliance

This book aims to facilitate and improve development work related to all documents and information required by functional safety standards. Proof of Compliance (PoC) is important for the assessor and cer…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 74,66*
Anonymous: Catalogue of the Entire Collection of Greek, Roman, Saxon, English, Scotch, Irish and Foreign Coins, Proofs, Patterns & Medals, Buch

Anonymous
Catalogue of the Entire Collection of Greek, Roman, Saxon, English, Scotch, Irish and Foreign Coins, Proofs, Patterns & Medals

Reprint of the original, first published in 1874. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 14,90*
Anonymous: Catalogue of the Entire Collection of Greek, Roman, Saxon, English, Scotch, Irish and Foreign Coins, Proofs, Patterns & Medals, Buch

Anonymous
Catalogue of the Entire Collection of Greek, Roman, Saxon, English, Scotch, Irish and Foreign Coins, Proofs, Patterns & Medals

Reprint of the original, first published in 1874. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 34,90*
Lisa Hopkins: Ocular Proof and the Spectacled Detective in British Crime Fiction, Buch

Lisa Hopkins
Ocular Proof and the Spectacled Detective in British Crime Fiction

From Sherlock Holmes onwards, fictional detectives use lenses: Ocular Proof and the Spectacled Detective in British Crime Fiction argues that these visual aids are metaphors for ways of seeing, and that t…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 136,55*
Stefan Müller-Stach: The Code of Mathematics, Buch

Stefan Müller-Stach
The Code of Mathematics

Mathematics Study Resources -Band 11

Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. Besides selected ideas …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 53,32*
Dan Gusfield: Proven Impossible, Buch

Dan Gusfield
Proven Impossible

In mathematics, it simply is not true that 'you can't prove a negative'. Many revolutionary impossibility theorems reveal profound properties of logic, computation, fairness and the universe, and form the…

sofort lieferbar
Buch
EUR 38,57*
Dan Gusfield: Proven Impossible, Buch

Dan Gusfield
Proven Impossible

"Written for any motivated reader with a high-school knowledge of mathematics, and the discipline to follow logical arguments, this book presents the proofs for revolutionary impossibility theorems in an …

lieferbar in mind. 4 Wochen
Buch
EUR 92,72*
: Maximus - The Greatest Movie Soundtracks for Piano and Orchestra, CD
-65%

Maximus - The Greatest Movie Soundtracks for Piano and Orchestra

Maksym Rzeminski, Radom Chamber Orchestra, Dawid Runtz

Artikel am Lager
EUR 19,99**
CD
 
EUR 6,99*
Adam Brotman: AI First, Buch

Adam Brotman, Andy Sack
AI First

AI is going to change brand strategy and marketing forever. Are you ready? What does the rapid rise and astonishing rate of improvement of AI mean for brands in the next five years? Listen to what OpenAI …

Erscheint bald
Buch
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.