LEADER 04222nam a22005775i 4500
001 814779
003 TR_AnAIT
005 20260130214205
007 cr nn 008mamaa
008 121227s2001 ne | s |||| 0|eng d
020 |a9789401005265|9978-94-010-0526-5
024 7 |a10.1007/978-94-010-0526-5|2doi
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aBC1-199
072 7|aHPL|2bicssc
072 7|aPHI011000|2bisacsh
072 7|aQDTL|2thema
082 04|a160|223
090 |aDK/16016
245 10|aLogic, Meaning and Computation|h[electronic resource] :|bEssays in Memory of Alonzo Church /|cedited by C. Anthony Anderson, Michael Zelëny.
250 |a1st ed. 2001.
264 1|aDordrecht :|bSpringer Netherlands :|bImprint: Springer,|c2001.
300 |aXIII, 627 p.|bonline resource.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |atext file|bPDF|2rda
490 1 |aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,|x2542-8292 ;|v305
505 0 |aLogic, truth and number: The elementary genesis of arithmetic -- Second-order logic -- A representation of relation algebras using Routley-Meyer frames -- Church’s set theory with a universal set -- Axioms of infinity in Church’s type theory -- Logical objects -- The lambda calculus and adjoint functors -- Atomic Boolean algebras and classical propositional logic -- Improved decision procedures for pure relevant logic -- The “triumph” of first-order languages -- Equivalence relations and groups -- Discriminating coded lambda terms -- ?-calculus as a foundation for mathematics -- Peano’s lambda calculus: The functional abstraction implicit in arithmetic -- The undecidability of ?-definability -- A construction of the provable wellorderings of the theory of species -- Semantics for first and higher order realizability -- Language and equality theory in logic programming -- Alternative (1*): A criterion of identity for intensional entities -- Nominalist paraphrase and ontological commitment -- Peace, justice and computation: Leibniz’ program and the moral and political significance of Church’s theorem -- Tarski’s theorem and NFU -- Church’s theorem and randomness -- Russellian type theory and semantical paradoxes -- The logic of sense and denotation: Extensions and applications -- Analysis, synonymy and sense -- The very possibility of language.
532 8 |aAccessibility summary: This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at accessibilitysupport@springernature.com if you require assistance or an alternative format.
532 8 |aInaccessible, or known limited accessibility
532 8 |aNo reading system accessibility options actively disabled
532 8 |aPublisher contact for further accessibility information: accessibilitysupport@springernature.com
650 0|aLogic.
650 0|aMathematical logic.
650 0|aLanguage and languages|xPhilosophy.
650 14|aLogic.
650 24|aMathematical Logic and Foundations.
650 24|aPhilosophy of Language.
700 1 |aAnderson, C. Anthony.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aZelëny, Michael.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9781402001413
776 08|iPrinted edition:|z9789401005272
776 08|iPrinted edition:|z9789401038911
830 0|aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,|x2542-8292 ;|v305
856 40|uhttps://doi.org/10.1007/978-94-010-0526-5
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
912 |aZDB-2-BAE
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)