Rezultaty
1 - 3
Rezultaty od
3
Przejdź do treści
UPFind
Lista podręczna:
0
w liście podręcznej
(Pełny)
Język
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
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
Wszystkie pola
Tytuł
Autor
Hasło przedmiotowe
Sygnatura
ISBN / ISSN
Szukaj
Wyszukiwanie zaawansowane
Rezultaty - "Type theory."
Rezultaty - "Type theory."
Rezultaty
1 - 3
Rezultaty od
3
Redukuj rezultaty
Sortuj
Ważność
Według najnowszych
Newest to Oldest
Oldest to Newest
Autor
Tytuł
Select Page
Email
Eksport
Drukuj
Dodaj do listy podręcznej
Wybierz numer wyniku 1
1
The theory of logical types
od
Copi, Irving M.
Wydane 1971
Sygnatura:
Ładuje się…
Zlokalizowane:
Ładuje się…
Książka
Ładuje się…
Dodaj do listy podręcznej
Usuń z listy podręcznej
Standalone Record
Wybierz numer wyniku 2
2
Type theory and formal proof an introduction
od
Nederpelt, Rob
,
Geuvers, Herman
Wydane 2014
Sygnatura:
Ładuje się…
Zlokalizowane:
Ładuje się…
Książka
Ładuje się…
Dodaj do listy podręcznej
Usuń z listy podręcznej
Standalone Record
Wybierz numer wyniku 3
3
Treatise on intuitionistic type theory
od
Granström, Johan Georg
Wydane 2011
Sygnatura:
Ładuje się…
Zlokalizowane:
Ładuje się…
Available for UP System via Springer Link.
Electronic Resource
Dodaj do listy podręcznej
Usuń z listy podręcznej
Standalone Record
Select Page
Email
Eksport
Drukuj
Dodaj do listy podręcznej
Narzędzie wyszukiwania:
Abonuj RSS
Wyślij rezultaty emailem
z powrotem
Redukuj rezultaty
Page will reload when a filter is selected or excluded.
CAMPUS
Diliman
3 Rezultatów
3
DATABASE
Union Catalog (Buklod)
3 Rezultatów
3
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
1 Rezultatów
1
Diliman Main Library: Social Sciences Section
1 Rezultatów
1
Institute of Mathematics
1 Rezultatów
1
RESOURCE TYPE
Książka
2 Rezultatów
2
Electronic Resource
1 Rezultatów
1
YEAR OF PUBLICATION
od:
do:
CLASSIFICATION
B - Filozofia, Psychologia, Religia
1 Rezultatów
1
Q - Nauka
1 Rezultatów
1
SUBJECT
Type theory
3 Rezultatów
3
Computers
1 Rezultatów
1
Logic, Symbolic and mathematical
1 Rezultatów
1
Programming languages
1 Rezultatów
1
AUTHOR
Copi, Irving M.
1 Rezultatów
1
Geuvers, Herman
1 Rezultatów
1
Granström, Johan Georg
1 Rezultatów
1
Nederpelt, Rob
1 Rezultatów
1
SpringerLink (Online Service)
1 Rezultatów
1
LANGUAGE
English
3 Rezultatów
3
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-. The University Library, University of the Philippines Diliman