1
0
0
(1 - 30 von 41
)
Peter Aczel | LibraryThing
www.librarything.com
Peter Aczel, author of Non-Well-Founded Sets, on LibraryThing
AbeBooks: : Non-Well-Founded Sets - AbeBooks - Peter Aczel:...
Non-Well-Founded Sets by Peter Aczel at AbeBooks.co.uk - ISBN 10: ISBN 13: Center for the Study of Language and Inf
: Non-Well-Founded Sets (Lecture Notes) - AbeBooks -...
www.abebooks.com
AbeBooks.com: Non-Well-Founded Sets (Lecture Notes) ( ) by Peter Aczel and a great selection of similar New, Used and Collectible Books ...
Peter Aczel (Author of Non-Well-Founded Sets)
www.goodreads.com
Peter Aczel is the author of Non-Well-Founded Sets (3.00 avg rating, 4 ratings, 1 review, published 1988), Proof Theory (0.0 avg rating, 0 ratings, 0 rev...
Peter Aczel Books - Biography and List of Works - Author of...
www.biblio.com
Peter Aczel Biography Peter Aczel Biography and List of Works - Peter Aczel Books
bokus.com: Peter Aczel - Böcker | Bokus bokhandel
Köp böcker av Peter Aczel: Non-well-founded Sets; Situation Theory and its Applications: Volume 3;
Peter Aczel (Aczel, Peter, ) | The Online Books Page
onlinebooks.library.upenn.edu
The Online Books Page. Online Books by. Peter Aczel. (Aczel, Peter, ). A Wikipedia article about this author is available. [Info] Aczel, Peter, : ...
Non-well-founded Sets - Peter Aczel - Google Books
books.google.de
Front Cover. Peter Aczel. C S L I Publications/Center for the Study of Language & Information, Jan 1, Mathematics pages.
The Liar:An Essay on Truth and Circularity - Jon Barwise, John...
books.google.de
Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from...
Non-well-founded Sets : Peter Aczel :
www.bookdepository.com
Non-well-founded Sets by Peter Aczelavailable at Book Depository with free delivery worldwide.
AbeBooks: Non-Well-Founded Sets: 14 (Lecture Notes) von Aczel,...
Non-Well-Founded Sets von Aczel, Peter und eine große Auswahl ähnlicher Bücher, Kunst und Sammlerstücke erhältlich auf AbeBooks.de.
Non-Well-Founded Sets by Peter Aczel - Goodreads
www.goodreads.com
Non-Well-Founded Sets book. Read reviews from world's largest community for readers.
Proof Theory edited by Peter Aczel
www.cambridge.org
Cambridge Core - Programming Languages and Applied Logic - Proof Theory - edited by Peter Aczel
Die Evolution des logischen Raumes: Aufsätze zu Hegels...
books.google.de
Anhang Die mengentheoretischen Axiome AFA,AFA2 und AFA, die im vorigen gelegentlich Erwähnung fanden, sind von Peter Aczel im Rahmen seiner Arbeit ...
Handbook of Philosophical Logic - Google Books
books.google.de
It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the...
Logical Frameworks - Google Books
books.google.de
Conceived and written by Peter Greenaway, the series The Historians--to be published in a literary form, in its entirety, in 100 volumes, over the next ten...
Aczel, Peter, LC Linked Data Service: Authorities and...
id.loc.gov
The Linked Data Service provides access to commonly found standards and vocabularies promulgated by the Library of Congress. This includes data values and the...
Concepts of Proof in Mathematics, Philosophy, and Computer Science -...
books.google.de
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context...
Situation Theory and Its Applications: Volume 1 - Google Books
books.google.de
Situation Theory grew out of attempts by Jon Barwise in the late 1970s to provide a semantics for 'naked-infinitive' perceptual reports such as 'Claire saw Jon...
The Syntax of Anaphoric Binding - Mary Dalrymple - Google Books
books.google.de
Mary Dalrymple provides a theory of the syntax of anaphoric binding, couched in the framework of Lexical-Functional Grammar. Cross-linguistically, anaphoric...
Non-Well-Founded Sets, by Peter Aczel | The Online Books Page
onlinebooks.library.upenn.edu
Non-Well-Founded Sets. Title: Non-Well-Founded Sets. Author: Aczel, Peter, Link: PDF at Stanford. Stable link here ...
Types for Proofs and Programs: International Workshop, TYPES '98,...
books.google.de
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Types for Proofs and Programs, TYPES '98, held under the...
Die Wahrheit über den Lügner: eine philosophisch-logische Analyse der...
books.google.de
Für den Zweck der Analyse der Lügner-Antinomie hat sich jedoch das Antifundierungsaxiom von Peter Aczel (im folgenden "AFA" genannt) als optimal ...
Algebraic and Coalgebraic Methods in the Mathematics of Program...
books.google.de
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program...
Foundations of Intensional Semantics - Chris Fox, Shalom Lappin -...
books.google.de
This book provides a systematic study of three foundational issues in the semantics of natural language that have been relatively neglected in the past few...
Situation Theory and Its Applications: - Stanley Peters, Yasuhiro...
books.google.de
Peter Aczel, Center for the Study of Language and Information (U.S.). AI as developed by Sowa (1984). Sowa makes clear that the earliest form of conceptual ...
Homotopy Type Theory: Univalent Foundations of Mathematics -...
books.google.de
Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered...
Proof Theory: A selection of papers from the Leeds Proof Theory...
www.chapters.indigo.ca
Buy the Paperback Book Proof Theory: A selection of papers from the Leeds Proof Theory Programme by Peter Aczel at Indigo.ca, Canada's largest bookstore....
Logic and the Modalities in the Twentieth Century - Google Books
books.google.de
Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers,...
Verwandte Suchanfragen zu Peter Aczel
Blue Moon Detlev Buck |
Personen Vorname "Peter" (123603) Name "Aczel" (16) |
sortiert nach Relevanz / Datum