- 5 Ergebnisse
Kleinster Preis: € 35,88, größter Preis: € 39,53, Mittelwert: € 38,40
1
Predicate Functor Logic : Mathematical Logic, First-order Logic, Predicate Logic, Quantification, Willard Van Orman Quine, Cylindric Algebra, Relation Algebra, Higher-order Function, Functional Completeness - Lambert M Surhone
Bestellen
bei AbeBooks.de
€ 38,61
Versand: € 0,001
Bestellengesponserter Link
Lambert M Surhone:

Predicate Functor Logic : Mathematical Logic, First-order Logic, Predicate Logic, Quantification, Willard Van Orman Quine, Cylindric Algebra, Relation Algebra, Higher-order Function, Functional Completeness - Taschenbuch

2010, ISBN: 6130339194

[EAN: 9786130339197], Neubuch, [PU: VDM Verlag Dr. Müller E.K.], nach der Bestellung gedruckt Neuware - Printed after ordering - High Quality Content by WIKIPEDIA articles! In mathematica… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Predicate Functor Logic : Mathematical Logic, First-order Logic, Predicate Logic, Quantification, Willard Van Orman Quine, Cylindric Algebra, Relation Algebra, Higher-order Function, Functional Completeness - Lambert M Surhone
Bestellen
bei AbeBooks.de
€ 39,53
Versand: € 0,001
Bestellengesponserter Link

Lambert M Surhone:

Predicate Functor Logic : Mathematical Logic, First-order Logic, Predicate Logic, Quantification, Willard Van Orman Quine, Cylindric Algebra, Relation Algebra, Higher-order Function, Functional Completeness - Taschenbuch

2010, ISBN: 6130339194

[EAN: 9786130339197], Neubuch, [PU: VDM Verlag Dr. Müller E.K.], nach der Bestellung gedruckt Neuware - Printed after ordering - High Quality Content by WIKIPEDIA articles! In mathematica… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
3
Predicate Functor Logic : Mathematical Logic, First-order Logic, Predicate Logic, Quantification, Willard Van Orman Quine, Cylindric Algebra, Relation Algebra, Higher-order Function, Functional Completeness - Lambert M Surhone
Bestellen
bei AbeBooks.de
€ 35,88
Versand: € 0,001
Bestellengesponserter Link
Lambert M Surhone:
Predicate Functor Logic : Mathematical Logic, First-order Logic, Predicate Logic, Quantification, Willard Van Orman Quine, Cylindric Algebra, Relation Algebra, Higher-order Function, Functional Completeness - Taschenbuch

2010

ISBN: 6130339194

[EAN: 9786130339197], Neubuch, [PU: VDM Verlag Dr. Müller E.K.], nach der Bestellung gedruckt Neuware -High Quality Content by WIKIPEDIA articles! In mathematical logic, predicate functor… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
4
Predicate Functor Logic - Lambert M Surhone
Bestellen
bei AbeBooks.de
€ 39,00
Versand: € 0,001
Bestellengesponserter Link
Lambert M Surhone:
Predicate Functor Logic - Taschenbuch

2010, ISBN: 6130339194

[EAN: 9786130339197], Neubuch, [PU: VDM Verlag Dr. Müller E.K. Jan 2010], This item is printed on demand - it takes 3-4 days longer - Neuware -High Quality Content by WIKIPEDIA articles! … Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)]
5
Predicate Functor Logic - Lambert M Surhone
Bestellen
bei AbeBooks.de
€ 39,00
Versand: € 0,001
Bestellengesponserter Link
Lambert M Surhone:
Predicate Functor Logic - Taschenbuch

2010, ISBN: 6130339194

[EAN: 9786130339197], Neubuch, [PU: VDM Verlag Dr. Müller E.K. Jan 2010], This item is printed on demand - it takes 3-4 days longer - Neuware -High Quality Content by WIKIPEDIA articles! … Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)]

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Predicate Functor Logic

High Quality Content by WIKIPEDIA articles! In mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic (also known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic devices called predicate functors (or predicate modifiers) that operate on terms to yield terms. PFL is mostly the invention of the logician and philosopher Willard Quine. Quine proposed PFL as a way of algebraizing first-order logic in a manner analogous to how Boolean algebra algebraizes propositional logic. He designed PFL to have exactly the expressive power of first-order logic with identity. Hence the metamathematics of PFL are exactly those of first-order logic with no interpreted predicate letters: both logics are sound, complete, and undecidable. Most work Quine published on logic and mathematics in the last 30 year of his life touched on PFL in some way.

Detailangaben zum Buch - Predicate Functor Logic


EAN (ISBN-13): 9786130339197
ISBN (ISBN-10): 6130339194
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Betascript Publishers Jan 2010

Buch in der Datenbank seit 2008-05-09T06:33:39+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-11-27T15:25:01+01:00 (Vienna)
ISBN/EAN: 9786130339197

ISBN - alternative Schreibweisen:
613-0-33919-4, 978-613-0-33919-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: quine, logic algebra, relation algebra


< zum Archiv...