A Set of Postulates for the Foundation of Logic

about

Dissipative Quantum Church-Turing Theorem The vision of David Marr.Space-time programming.A Theory of Positive Integers in Formal Logic. Part I A Vindication of Program Verification Russell's 1903 - 1905 Anticipation of the Lambda Calculus

P2860

Q21706522-8A0B2194-544C-4196-B85D-A0FDFE8D591C Q50537362-F12A249D-FD06-4C65-A5CC-5AEE28E6542A Q50898501-C950C208-AFBA-469A-A1DA-71700C9F38BD Q56040843-0fa0d84b-4498-021d-0d2d-5e0970654c2c Q58355728-B46741BF-9EB7-4BD6-82FB-4AB0E51F0DD7 Q58531900-0B2E13AC-D139-435D-A104-D1E4DB8574CC

P2860

A Set of Postulates for the Foundation of Logic

Item

http://www.wikidata.org/entity/Q55890017

description

wetenschappelijk artikel

@nl

наукова стаття, опублікована у квітні 1932

@uk

name

A Set of Postulates for the Foundation of Logic

@en

A Set of Postulates for the Foundation of Logic

@nl

type

Item

label

A Set of Postulates for the Foundation of Logic

@en

A Set of Postulates for the Foundation of Logic

@nl

prefLabel

A Set of Postulates for the Foundation of Logic

@en

A Set of Postulates for the Foundation of Logic

@nl

P1476

A Set of Postulates for the Foundation of Logic

@en

P2860

Mathematical Logic as Based on the Theory of Types

P304

346

http://www.w3.org/2001/XMLSchema#string

P31

scholarly article

P356

10.2307/1968337

http://www.w3.org/2001/XMLSchema#string

P407

English

P433

http://www.w3.org/2001/XMLSchema#string

P478

http://www.w3.org/2001/XMLSchema#string

P50

Alonzo Church

P577

1932-04-01T00:00:00Z

http://www.w3.org/2001/XMLSchema#dateTime

P888

1968337

http://www.w3.org/2001/XMLSchema#string

A Set of Postulates for the Foundation of Logic

about

P2860

P2860

A Set of Postulates for the Foundation of Logic

description

name

type

label

prefLabel

P1433

P1476

P2860

P304

P31

P356

P407

P433

P478

P50

P577

P888

P356

P1433

P1476

P2860

P304

P31

P356

P407

P433

P478

P50

P577

P888