Filters
How to search... Change search criteria
RCIN and OZwRCIN projects

Search for: [Title = "Gentzen\-type semantics for v\-valued infinitary predicate calculi"]

Number of results: 1

Items per page:
add all to bibliography

Gentzen-type semantics for v-valued infinitary predicate calculi

Przymusińska, Halina

1980
Journal/Article

Contact

Address

Contact Information: Consortium of Scientific Libraries Database Administrator E-Mail: rcin.org.pl@gmail.com

Financing:

Project I

Project "Digital Repository of Scientific Institutes" [RCIN] co-financed by Programme Innovative Economy, 2010-2014, Priority Axis 2. R&D infrastructure ; European Union. European Regional Development Fund.




Project II

Project "Open Resources in the Digital Repository of Scientific Institutes" [OZwRCIN] co-financed by Operational Program Digital Poland, 2014-2020, Measure 2.3: Digital accessibility and usefulness of public sector information; funds from the European Regional Development Fund and national co-financing from the state budget.





Partners funds

Works related to making new facilities available in the RCIN service are also co-financed by the Partners.

Partnership:

Website created by

INSTYTUT MATEMATYCZNY PAN ; INSTYTUT ARCHEOLOGII I ETNOLOGII POLSKIEJ AKADEMII NAUK ; INSTYTUT BADAŃ LITERACKICH POLSKIEJ AKADEMII NAUK ; INSTYTUT BADAŃ SYSTEMOWYCH PAN ; INSTYTUT BADAWCZY LEŚNICTWA ; INSTYTUT BIOLOGII DOŚWIADCZALNEJ IM. MARCELEGO NENCKIEGO POLSKIEJ AKADEMII NAUK ; INSTYTUT BIOLOGII SSAKÓW POLSKIEJ AKADEMII NAUK ; INSTYTUT BOTANIKI IM. WŁADYSŁAWA SZAFERA POLSKIEJ AKADEMII NAUK ; INSTYTUT CHEMII BIOORGANICZNEJ POLSKIEJ AKADEMII NAUK ; INSTYTUT CHEMII FIZYCZNEJ PAN ; INSTYTUT CHEMII ORGANICZNEJ PAN ; INSTYTUT DENDROLOGII POLSKIEJ AKADEMII NAUK ; INSTYTUT FILOZOFII I SOCJOLOGII PAN ; INSTYTUT GEOGRAFII I PRZESTRZENNEGO ZAGOSPODAROWANIA PAN ; INSTYTUT HISTORII im. TADEUSZA MANTEUFFLA POLSKIEJ AKADEMII NAUK ; INSTYTUT JĘZYKA POLSKIEGO POLSKIEJ AKADEMII NAUK ; INSTYTUT MEDYCYNY DOŚWIADCZALNEJ I KLINICZNEJ IM.MIROSŁAWA MOSSAKOWSKIEGO POLSKIEJ AKADEMII NAUK ; INSTYTUT OCHRONY PRZYRODY POLSKIEJ AKADEMII NAUK ; INSTYTUT PODSTAWOWYCH PROBLEMÓW TECHNIKI PAN ; INSTYTUT SLAWISTYKI PAN ; INSTYTUT SYSTEMATYKI I EWOLUCJI ZWIERZĄT POLSKIEJ AKADEMII NAUK ; MUZEUM I INSTYTUT ZOOLOGII POLSKIEJ AKADEMII NAUK ; SIEĆ BADAWCZA ŁUKASIEWICZ - INSTYTUT TECHNOLOGII MATERIAŁÓW ELEKTRONICZNYCH ; INSTYTUT HISTORII NAUKI IM. LUDWIKA I ALEKSANDRA BIRKENMAJERÓW POLSKIEJ AKADEMII NAUK ; INSTYTUT NAUK EKONOMICZNYCH POLSKIEJ AKADEMII NAUK ; INSTYTUT ROZWOJU WSI I ROLNICTWA POLSKIEJ AKADEMII NAUK ; INSTYTUT BIOCYBERNETYKI I INŻYNIERII BIOMEDYCZNEJ IM. MACIEJA NAŁĘCZA POLSKIEJ AKADEMII NAUK ;

This page uses 'cookies'. More information