Back to Results
First PageMeta Content
Quantification / Mizar system / Andrzej Trybulec / Mizar and Alcor / Propositional calculus / Function / FO / Universal quantification / Natural deduction / Logic / Mathematical logic / Mathematics


Document Date: 2005-07-02 01:48:02

Open Document

File Size: 225,67 KB

Share Result on Facebook

City

Moscow / Ilmenau / Bialystok / Warsaw / /

Country

Poland / East Germany / /

Currency

pence / /

/

Event

Person Communication and Meetings / Person Travel / /

Facility

Institute of Computer Science5 / Institute of Library Science / Warsaw University of Technology / Library Science / Institute of Scientific / University of Alberta / University of Bialystok / Warsaw University / /

IndustryTerm

language processor / factorial computing program / /

Organization

Ministry of Science and Higher Education / Institute of Computer Science5 / Plock Scientific Society / Institute of Library Science and Scientific Information / University of Bialystok / Institute of Scientific and Technical Information / Informatics Club / University of Alberta / Warsaw University of Technology / Polish Academy of Sciences / /

Person

Zinaida / Mizar / Jerzy Zabilski / Ramm Woronowicz / Piotr Rudnicki / Edmund Woronowicz / Andrzej Trybulec / Jan Borawski / Krzysztof Lebkowski / Roman Matuszewski / /

Position

first author / math teacher / /

ProvinceOrState

Mississippi / /

Technology

language processor / /

URL

http /

SocialTag