Dangos
41 - 46
canlyniadau o
46
ar gyfer chwilio '
"Studies in logic and the foundations of mathematics"
'
Neidio i'r cynnwys
UPFind
Bag Llyfrau:
0
eitemau
(Llawn)
Iaith
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Pob Maes
Teitl
Awdur
Pwnc
Rhif Galw
ISBN/ISSN
Canfod
Uwch
Canlyniadau Chwilio - "Studies in logic and the foundations of mathematics"
Dangos
41 - 46
canlyniadau o
46
ar gyfer chwilio '
"Studies in logic and the foundations of mathematics"
'
, amser ymholiad: 0.01e
Mireinio'r Canlyniadau
Sortio
Perthnasedd
Newest to Oldest
Oldest to Newest
Awdur
Teitl
Select Page
E-bost
Allforio
Argraffu
Ychwanegu at y Bag Llyfrau
Dewiswch ganlyniad rhif 41
41
Solvable cases of the decision problem
gan
Ackermann, Wilhelm 1896-
Cyhoeddwyd 1954
Rhif Galw:
loading...
Wedi'i leoli:
loading...
Llyfr
loading...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Dewiswch ganlyniad rhif 42
42
Undecidable theories
gan
Tarski, Alfred
Cyhoeddwyd 1953
Rhif Galw:
loading...
Wedi'i leoli:
loading...
Llyfr
loading...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Dewiswch ganlyniad rhif 43
43
Undecidable theories
gan
Tarski, Alfred
Cyhoeddwyd 1953
Rhif Galw:
loading...
Wedi'i leoli:
loading...
Llyfr
loading...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Dewiswch ganlyniad rhif 44
44
Truth and consequence in mediaeval logic
gan
Moody, Ernest Addison 1903-
Cyhoeddwyd 1953
Rhif Galw:
loading...
Wedi'i leoli:
loading...
Llyfr
loading...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Dewiswch ganlyniad rhif 45
45
Outlines of a formalist philosophy of mathematics
gan
Curry, Haskell B. (Haskell Brooks), 1900-
Cyhoeddwyd 1951
Rhif Galw:
loading...
Wedi'i leoli:
loading...
Llyfr
loading...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Dewiswch ganlyniad rhif 46
46
The propositional logic of Boethius
gan
Durr, Karl 1888-
Cyhoeddwyd 1951
Rhif Galw:
loading...
Wedi'i leoli:
loading...
Llyfr
loading...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Select Page
E-bost
Allforio
Argraffu
Ychwanegu at y Bag Llyfrau
[1]
Blaenorol
1
2
3
4
5
Offerynnau Chwilio:
E-bostio'r Chwiliad hwn
Yn Ôl
Mireinio'r Canlyniadau
Page will reload when a filter is selected or excluded.
CAMPUS
Diliman
43 canlyniadau
43
Baguio
2 canlyniadau
2
Pampanga
1 canlyniadau
1
DATABASE
Union Catalog (Buklod)
46 canlyniadau
46
UNIT LIBRARY
College of Science
23 canlyniadau
23
Diliman Main Library: Social Sciences Section
12 canlyniadau
12
School of Economics
3 canlyniadau
3
School of Statistics
3 canlyniadau
3
UP Baguio Main Library
2 canlyniadau
2
Cesar E.A. Virata School of Business
1 canlyniadau
1
College of Arts and Letters
1 canlyniadau
1
Institute of Mathematics
1 canlyniadau
1
UP Diliman Extension Program in Pampanga
1 canlyniadau
1
Gweld pob un...
YEAR OF PUBLICATION
o:
i:
CLASSIFICATION
Q - Gwyddoniaeth
29 canlyniadau
29
B - Athroniaeth, Seicoleg, Crefydd
16 canlyniadau
16
P - Iaith a Llenyddiaeth
1 canlyniadau
1
SUBJECT
Logic, Symbolic and mathematical
18 canlyniadau
18
Set theory
6 canlyniadau
6
Model theory
5 canlyniadau
5
Congresses
3 canlyniadau
3
Mathematics
3 canlyniadau
3
Algebra, Abstract
2 canlyniadau
2
Algebraic logic
2 canlyniadau
2
Axiomatic set theory
2 canlyniadau
2
Intuitionistic mathematics
2 canlyniadau
2
Mathematical models
2 canlyniadau
2
Methodology
2 canlyniadau
2
Recursive functions
2 canlyniadau
2
Semantics (Philosophy)
2 canlyniadau
2
Syllogism
2 canlyniadau
2
Aggregates
1 canlyniadau
1
Agregates
1 canlyniadau
1
Algebra
1 canlyniadau
1
Algebra, Boolean
1 canlyniadau
1
Arithmetic
1 canlyniadau
1
Combinatorial set theory
1 canlyniadau
1
Combinatory logic
1 canlyniadau
1
Constructibility (Set theory)
1 canlyniadau
1
Contributions in logic
1 canlyniadau
1
Foundations
1 canlyniadau
1
Godel's theorem
1 canlyniadau
1
Infinitary languages
1 canlyniadau
1
Lincos (Artificial language)
1 canlyniadau
1
Logic
1 canlyniadau
1
Logic Symbolic and mathematical
1 canlyniadau
1
Logic, Medieval
1 canlyniadau
1
Gweld pob un...
AUTHOR
Tarski, Alfred
4 canlyniadau
4
Association for Symbolic Logic
3 canlyniadau
3
Crossley, John N.
3 canlyniadau
3
International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
3 canlyniadau
3
Feys, Robert 1889-
2 canlyniadau
2
Fraenkel, Abraham A.
2 canlyniadau
2
Fraenkel, Abraham A. 1891-1965
2 canlyniadau
2
Ackermann, Wilhelm 1896-
1 canlyniadau
1
Addison, John West 1930-
1 canlyniadau
1
Bedford College
1 canlyniadau
1
Bernays, Paul
1 canlyniadau
1
Bernays, Paul 1888-
1 canlyniadau
1
British Society for the Philosophy of Science
1 canlyniadau
1
Chang, Chen Chung
1 canlyniadau
1
Conference on Alternative Semantics (1970 : Temple University)
1 canlyniadau
1
Conference on Intuitionism and Proof Theory, State University of New York at Buffalo, 1968
1 canlyniadau
1
Curry, Haskell B. (Haskell Brooks), 1900-
1 canlyniadau
1
Curry, Haskell Brooks 1900-
1 canlyniadau
1
Dummett, Michael A. E.
1 canlyniadau
1
Durr, Karl 1888-
1 canlyniadau
1
Erdos, Paul
1 canlyniadau
1
Fitch, Frederic Brenton 1908-1987
1 canlyniadau
1
Fitting, Melvin Chris, 1942-
1 canlyniadau
1
Fraenkel, Abraham Adolf
1 canlyniadau
1
Fraenkel, Abraham Adolf 1891-
1 canlyniadau
1
Freudenthal Hans, 1905-
1 canlyniadau
1
Gandy, R. O.
1 canlyniadau
1
Hailperin, Theodore
1 canlyniadau
1
Henkin, Leon
1 canlyniadau
1
Heyting, Arend 1898-
1 canlyniadau
1
Gweld pob un...
RESOURCE TYPE
Llyfr
46 canlyniadau
46
LANGUAGE
English
38 canlyniadau
38
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman