Ω-Bibliography of Mathematical Logic. Volume 6: Proof by Gert H. Müller, Jane E. Kister, Dirk van Dalen, Anne S.

Logic

By Gert H. Müller, Jane E. Kister, Dirk van Dalen, Anne S. Troelstra (eds.)

Show description

Read or Download Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics PDF

Similar logic books

Fundamentals of Digital Logic and Microcomputer Design: Includes Verilog & VHDL -- Fourth Edition

PREFACE This publication covers all uncomplicated techniques of laptop engineering and technology from electronic good judgment circuits to the layout of a whole microcomputer method in a scientific and simplified demeanour. it truly is written to provide a transparent realizing of the foundations and easy instruments required to layout common electronic structures akin to microcomputers.

Logic Programming and Nonmotonic Reasoning: 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings

This publication constitutes the refereed court cases of the sixth overseas convention on good judgment Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna, Austria in September 2001. The 22 revised complete papers and 11 process descriptions awarded with 5 invited papers have been conscientiously reviewed and conscientiously chosen.

Logik im Recht: Grundlagen und Anwendungsbeispiele

In dem Lehr- und Studienbuch zeigt der Autor, in welchem Maße logische Strukturen das Rechtsdenken bestimmen. Er erläutert die wesentlichen logischen Grundlagen und ihre Anwendung auf dem Gebiet des Rechts. Zum einen führt dies zu einem tieferen Verständnis der juristischen Dogmatik und einer systematischen Durchdringung des Rechtsstoffs, zum anderen tragen die Überlegungen zwischen Logik und Rechtswissenschaft zu neuen Erkenntnissen bei.

Extra resources for Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

Sample text

A property of combinations in normalform ~ B40 ~ 1966 ~ C. F. Introduction to the CUCH ~ B40 B75 ~ BOEHM, C. B. B. B. B. R. Axiomsfor strong reduction in combinatory logic ~ B40 ~ LERCHER, B. Strong reduction and normal form in combinatory logic ~ B40 ~ LERCHER, B. The decidability of Hindley's axiomfor strong reduction ~ B40 ~ CRAIG, W. Definitional independence of combinators ~ B40 ~ CRAIG, W. B. & FEYS, R. Combinatory logic. B. B. Representation of sequential circuits in combinatory logic ~ B40 B70 ~ STAHL, G.

An analysis oJlogical substitution ~ B40 1937 TURING, AM. Computability and A -definability ~ A05 B40 005 010 020 F99 ~ TURING, AM. B. Grundlagen der kombinatorischen Logik ~ B40 ~ 1939 1931 TURING, AM. B. B. B. B. B. B. B. B. B. B. B. B. B. c. c. c. B. B. A mathematicallogic without variables. B. B. Representation oJ calculi ~ B20 B40 ~ ~ 1946 FEYS, R. B. B. B. B. B. B. B. B. A demonstrably consistent mathematics. B. B. B. B. A demonstrably consistent mathematics. Part I/ ~ B30 B40 E70 ~ BEHMANN, H.

On Hilbert's seeond problem (Russian) ~ A05 F30 F65 ~ HEIDEMA, J. History, principles and methods of intuitionistic mathematics (Africaans) (English summary) ~ A05 F55 ~ KREISEL, G. Appendix II. Category theory and the foundations of mathematics ~ A05 F99 G30 ~ KREISEL, G. A. E. Introduction ~ A10 F05 F30 F98 ~ 1970 BERNAYS, P. A. Mathematics as a numerieallanguage ~ A05 F50 F55 ~ CIAMPA, S. I numeri, l'aritmetica, gli insiemi ~ A05 F30 ~ 1972 FREGUGLIA, P. Platonismo ed intuizionismo e loro superamento ~ A05 F98 ~ 8 1973-1977 Historieal, critical and philosophical publications (AOS u A10) n (F u 840) 1975 KREISEL, G.

Download PDF sample

Rated 4.66 of 5 – based on 20 votes