Showing
1 - 6
results of
6
for search '
'
Skip to content
UPFind
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
AUTHOR:
Association for Symbolic Logic
DATABASE:
Union Catalog (Buklod)
Show filters (2)
AUTHOR:
Association for Symbolic Logic
DATABASE:
Union Catalog (Buklod)
Search Results
Showing
1 - 6
results of
6
for search '
'
, query time: 0.01s
Refine Results
Sort
Relevance
Newest to Oldest
Oldest to Newest
Author
Title
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Select result number 1
1
Proofs and computations
by
Schwichtenberg, Helmut 1942-
Published 2012
Call Number:
Loading...
Located:
Loading...
Table of contents only
Book
Add to Book Bag
Remove from Book Bag
Select result number 2
2
The review of symbolic logic.
Published 2008
Call Number:
Loading...
Located:
Loading...
Available for UP System via Cambridge Core.
Continuing Resource
Add to Book Bag
Remove from Book Bag
Select result number 3
3
Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics
Published 1973
Call Number:
Loading...
Located:
Loading...
Book
Loading...
Add to Book Bag
Remove from Book Bag
Select result number 4
4
The theory of models proceedings
Published 1965
Call Number:
Loading...
Located:
Loading...
Book
Loading...
Add to Book Bag
Remove from Book Bag
Select result number 5
5
Formal systems and recursive functions proceedings
Published 1965
Call Number:
Loading...
Located:
Loading...
Book
Loading...
Add to Book Bag
Remove from Book Bag
Select result number 6
6
The Journal of symbolic logic.
Call Number:
Loading...
Located:
Loading...
Available for University of the Philippines - Diliman via JSTOR. Click here to access
Continuing Resource
Add to Book Bag
Remove from Book Bag
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
—
Email this Search
Back
Narrow Search
CAMPUS
Diliman
6
DATABASE
Union Catalog (Buklod)
UNIT LIBRARY
Diliman Main Library: Social Sciences Section
2
College of Engineering Library II
1
College of Science
1
Diliman Main Library: Info. Services & Instruction Section
1
Diliman Main Library: Serials Section
1
YEAR OF PUBLICATION
From:
To:
CLASSIFICATION
B - Philosophy, Psychology, Religion
2
Q - Science
2
SUBJECT
Logic, Symbolic and mathematical
4
Computable functions
1
Congresses
1
Logic, Symbolic and mathematical|xPeriodicals
1
Mathematical models
1
Proof theory
1
Recursive functions
1
Semantics
1
see all ...
AUTHOR
Association for Symbolic Logic
International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
2
Addison, John West 1930-
1
Church, Alonzo,|d1903-
1
Conference on Alternative Semantics (1970 : Temple University)
1
Crossley, John N.
1
Dummett, Michael A. E.
1
Henkin, Leon
1
International Symposium on the Theory of Models (1963 : Berkeley, Calif.)
1
Langford, Cooper Harold,|d1895-
1
Leblanc, Hugues 1924-
1
Logic Colloquium Oxford
1
North Atlantic Treaty Organization
1
Schwichtenberg, Helmut 1942-
1
Symposium on Recursive Functions
1
Tarski, Alfred
1
Temple University. College of Liberal Arts
1
University of California, Berkeley
1
Wainer, S. S.
1
see all ...
RESOURCE TYPE
Book
4
Continuing Resource
2
LANGUAGE
English
5
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Loading...