Showing
41 - 46
results of
46
for search '
"Studies in logic and the foundation of mathematics"
'
Skip to content
UPFind
Book Bag:
0
items
(Full)
Language
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
हिंदी
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Search Results - "Studies in logic and the foundation of mathematics"
Showing
41 - 46
results of
46
for search '
"Studies in logic and the foundation of mathematics"
'
, query time: 0.02s
Refine Results
Sort
Relevance
Newest to Oldest
Oldest to Newest
Author
Title
Select Page
Email
Export
Print
Add to Book Bag
Select result number 41
41
Solvable cases of the decision problem
by
Ackermann, Wilhelm 1896-
Published 1954
Call Number:
loading...
Located:
loading...
Book
loading...
Add to Book Bag
Remove from Book Bag
Select result number 42
42
Undecidable theories
by
Tarski, Alfred
Published 1953
Call Number:
loading...
Located:
loading...
Book
loading...
Add to Book Bag
Remove from Book Bag
Select result number 43
43
Truth and consequence in mediaeval logic
by
Moody, Ernest Addison 1903-
Published 1953
Call Number:
loading...
Located:
loading...
Book
loading...
Add to Book Bag
Remove from Book Bag
Select result number 44
44
Undecidable theories
by
Tarski, Alfred
Published 1953
Call Number:
loading...
Located:
loading...
Book
loading...
Add to Book Bag
Remove from Book Bag
Select result number 45
45
Outlines of a formalist philosophy of mathematics
by
Curry, Haskell B. (Haskell Brooks), 1900-
Published 1951
Call Number:
loading...
Located:
loading...
Book
loading...
Add to Book Bag
Remove from Book Bag
Select result number 46
46
The propositional logic of Boethius
by
Durr, Karl 1888-
Published 1951
Call Number:
loading...
Located:
loading...
Book
loading...
Add to Book Bag
Remove from Book Bag
Select Page
Email
Export
Print
Add to Book Bag
[1]
Prev
1
2
3
4
5
Search Tools:
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
CAMPUS
Diliman
43 results
43
Baguio
2 results
2
Pampanga
1 results
1
DATABASE
Union Catalog (Buklod)
46 results
46
UNIT LIBRARY
College of Science
23 results
23
Diliman Main Library: Social Sciences Section
12 results
12
School of Economics
3 results
3
School of Statistics
3 results
3
UP Baguio Main Library
2 results
2
Cesar E.A. Virata School of Business
1 results
1
College of Arts and Letters
1 results
1
Institute of Mathematics
1 results
1
UP Diliman Extension Program in Pampanga
1 results
1
see all…
YEAR OF PUBLICATION
From:
To:
CLASSIFICATION
Q - Science
29 results
29
B - Philosophy, Psychology, Religion
16 results
16
P - Language and Literature
1 results
1
SUBJECT
Logic, Symbolic and mathematical
18 results
18
Model theory
5 results
5
Set theory
5 results
5
Congresses
3 results
3
Mathematics
3 results
3
Aggregates
2 results
2
Algebra, Abstract
2 results
2
Algebraic logic
2 results
2
Axiomatic set theory
2 results
2
Intuitionistic mathematics
2 results
2
Mathematical models
2 results
2
Methodology
2 results
2
Recursive functions
2 results
2
Semantics (Philosophy)
2 results
2
Syllogism
2 results
2
Agregates
1 results
1
Algebra
1 results
1
Algebra, Boolean
1 results
1
Arithmetic
1 results
1
Combinatorial set theory
1 results
1
Combinatory logic
1 results
1
Constructibility (Set theory)
1 results
1
Contributions in logic
1 results
1
Foundations
1 results
1
Godel's theorem
1 results
1
Infinitary languages
1 results
1
Lincos (Artificial language)
1 results
1
Logic
1 results
1
Logic Symbolic and mathematical
1 results
1
Logic, Medieval
1 results
1
see all…
AUTHOR
Tarski, Alfred
4 results
4
Association for Symbolic Logic
3 results
3
Crossley, John N.
3 results
3
International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
3 results
3
Feys, Robert 1889-
2 results
2
Fraenkel, Abraham A.
2 results
2
Fraenkel, Abraham A. 1891-1965
2 results
2
Fraenkel, Abraham Adolf 1891-
2 results
2
Ackermann, Wilhelm 1896-
1 results
1
Addison, John West 1930-
1 results
1
Bedford College
1 results
1
Bernays, Paul
1 results
1
Bernays, Paul 1888-
1 results
1
British Society for the Philosophy of Science
1 results
1
Chang, Chen Chung
1 results
1
Conference on Alternative Semantics (1970 : Temple University)
1 results
1
Conference on Intuitionism and Proof Theory, State University of New York at Buffalo, 1968
1 results
1
Curry, Haskell B. (Haskell Brooks), 1900-
1 results
1
Curry, Haskell Brooks 1900-
1 results
1
Dummett, Michael A. E.
1 results
1
Durr, Karl 1888-
1 results
1
Erdos, Paul
1 results
1
Fitch, Frederic Brenton 1908-1987
1 results
1
Fitting, Melvin Chris, 1942-
1 results
1
Freudenthal Hans, 1905-
1 results
1
Gandy, R. O.
1 results
1
Hailperin, Theodore
1 results
1
Henkin, Leon
1 results
1
Heyting, Arend 1898-
1 results
1
International Colloquium in the Philosophy of Science Bedford College
1 results
1
see all…
RESOURCE TYPE
Book
46 results
46
LANGUAGE
English
38 results
38
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman