Suche Bilder Maps Play YouTube News Gmail Drive Mehr »
Meine Bibliothek | Hilfe | Erweiterte Buchsuche | Webprotokoll | Anmelden

Books

Logic, foundations of mathematics, and computability theory

, Teil 1
Frontcover
0 Rezensionen
D. Reidel, 1977 - 406 Seiten

Im Buch

 

2 Seiten stimmen mit dem Suchbegriff "Kant says" in diesem Buch überein.

Wo ist der Rest dieses Buches?

Was andere dazu sagen - Rezension schreiben

Es wurden keine Rezensionen gefunden.

Ähnliche Bücher

ISILC Logic Conference: proceedings of the International Summer Institute ...
ISILC Logic Conference: proceedings of the International Summer Institute ...
Gert Heinz Müller,Arnold Oberschelp,Karl Potthoff
Auszug - 1975
Foundations of Set Theory
Foundations of Set Theory
A.A. Fraenkel,Y. Bar-Hillel,A. Levy
Eingeschränkte Leseprobe - 1973
Aspects of scientific explanation: and other essays in the philosophy of science
Aspects of scientific explanation: and other essays in the philosophy of science
Carl Gustav Hempel
Auszug - 1965
Alle ähnlichen Bücher »

Inhalt

j barwiseSome Eastern Two Cardinal Theorems
11
j y girardFunctional Interpretation and Kripke Models
33
a s troelstra Axioms for Intuitionistic Mathematics Incom
59
Urheberrecht

16 weitere Abschnitte werden nicht angezeigt.

Häufige Begriffe und Wortgruppen

a-Erdos a-recursive Algorithmic Logic assume axioms binary relation cardinals category theory closed formula complete Computability Theory consistent constants constructive countable defined definition denoted Diophantine equation domain elementary elements entities equivalent example existence extension finite follows Foundations of Mathematics functional system given Godel Hence Hintikka ideal individuating function induction algebra infinite integers intensional interpretation intuition intuitionistic iterative language large cardinals LEMMA Math mathematical logic means measurable cardinals modal model theory Moschovakis natural numbers non-standard normal notion objects obtained operation ordinal partial functions possible worlds pre-Ramsey predicate problem proof proper classes protopremises provable quantifiers Ramsey Ramsey cardinals real numbers recursion theory recursive function recursive in F recursively enumerable sets reflection principle relation result rules satisfying Section semantics sense sentence sequence set theory Skolem structure subsets Suppose Symb symbols Tarski Theorem tion Troelstra universal weakly compact weakly compact cardinals

Referenzen von Webseiten

Publications received
PUBLICATIONS RECEIVED. Kazimierz Ajdukiewicz,. The Scientific World-Perspective and Other Essays 1931-1963. Edited and with an introduction by Jerzy ...
www.springerlink.com/ index/ K2635586PL225147.pdf

Bibliografische Informationen

QR code for Logic, foundations of mathematics, and computability theory
TitelLogic, foundations of mathematics, and computability theory, Teil 1
Band 9 von University of Western Ontario series in philosophy of science
Ausgabe 9 von Western Ontario Series
Logic, Foundations of Mathematics, and Computability Theory, Jaakko Hintikka
Teil 1 von Proceedings, Methodology International Congress of Logic (and Philosophy of Science, University of Western Ontario).)
Teil 1 von Proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada, 1975
AutorenRobert E. Butts, Jaakko Hintikka
HerausgeberRobert E. Butts, Jaakko Hintikka
VerlagD. Reidel, 1977
Original vonUniversity of California
Digitalisiert8. Juni 2007
ISBN9027707081, 9789027707086
Länge406 Seiten
  
Zitat exportierenBiBTeX EndNote RefMan