VIAF

Virtual International Authority File

Search

Trybulec, Andrzej. Library and Archives Canada Library of Congress/NACO BIBSYS National Library of the Netherlands National Library of Poland Sudoc [ABES], France

Trybulec, Andrzej (1941-2013). NUKAT Center of Warsaw University Library

Andrzej Trybulec Wikidata ISNI

Trybulec, Andrzej, 1941- National Library of the Czech Republic

VIAF ID: 21658345 (Personal)

Permalink: http://viaf.org/viaf/21658345

ISNI: 0000  0001  1791  8254 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (6)

Open Section Close SectionWorks

Title Sources
Algebra of normal forms is a heyting algebra NUKAT Center of Warsaw University Library
Axioms of Incidence NUKAT Center of Warsaw University Library
Binary Operations Applied to Functions NUKAT Center of Warsaw University Library
Boolean Domains NUKAT Center of Warsaw University Library
A Borsuk theorem on homotopy types NUKAT Center of Warsaw University Library
Built-in concepts NUKAT Center of Warsaw University Library
Classes of Conjugation. Normal Subgroups NUKAT Center of Warsaw University Library
A collection of TEXed Mizar abstracts Library and Archives Canada
Commutator and center of a group NUKAT Center of Warsaw University Library
Complex Spaces NUKAT Center of Warsaw University Library
Enumerated sets NUKAT Center of Warsaw University Library
The Fashoda Meet Theorem for rectangles NUKAT Center of Warsaw University Library
Finite Join and Finite Meet and Dual Lattices NUKAT Center of Warsaw University Library
A first order language NUKAT Center of Warsaw University Library
From insight to proof : festschrift in honour of Andrzej Trybulec / guest ed. Roman Matuszewski, Anna Zalewska. - Białystok, 2007. Library of Congress/NACO NUKAT Center of Warsaw University Library
Function Domains and Frænkel Operator NUKAT Center of Warsaw University Library
The fundamental logic structure in quantum mechanics NUKAT Center of Warsaw University Library
Isomorphisms of categories NUKAT Center of Warsaw University Library
Język informacyjno-logiczny Mizar-MSE National Library of Poland NUKAT Center of Warsaw University Library
Kuratowski - Zorn Lemma NUKAT Center of Warsaw University Library
Laplace expansion NUKAT Center of Warsaw University Library
Lattice of Subgroups of a Group. Frattini Subgroup NUKAT Center of Warsaw University Library
Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France BIBSYS
A mathematical model of CPU NUKAT Center of Warsaw University Library
MKM 2004 National Library of the Netherlands Sudoc [ABES], France
Natural transformations. Discrete categorie NUKAT Center of Warsaw University Library
Non-contiguous Substrings and One-to-one Finite Sequences NUKAT Center of Warsaw University Library
Partially Ordered Sets NUKAT Center of Warsaw University Library
Pigeon Hole Principle NUKAT Center of Warsaw University Library
Podziały słownika w językach z paradygmatami National Library of Poland NUKAT Center of Warsaw University Library
Propositional Calculus NUKAT Center of Warsaw University Library
Rozpoznawanie stanów pamięci przez procesor / Andrzej Trybulec. - Warszawa, 1973. National Library of Poland NUKAT Center of Warsaw University Library
Semilattice Operations on Finite Subsets / Andrzej Trybulec. NUKAT Center of Warsaw University Library
Similarity of formulae NUKAT Center of Warsaw University Library
Some Properties of Real Numbers NUKAT Center of Warsaw University Library
Subspaces and Cosets of Subspaces in Vector Space NUKAT Center of Warsaw University Library
Tarski Grothendieck Set Theory NUKAT Center of Warsaw University Library
Tuples, Projections and Cartesian Products NUKAT Center of Warsaw University Library
Vectors in Real Linear Space NUKAT Center of Warsaw University Library

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:21658345 (12)