Bimbó, Katalin 1963-
Bimbó, Katalin
Katalin Bimbó
VIAF ID: 33931112 ( Personal )
Permalink: http://viaf.org/viaf/33931112
Preferred Forms
- 100 1 _ ‡a Bimbó, Katalin ‡d 1963-
- 100 1 _ ‡a Bimbó, Katalin, ‡d 1963-
-
-
- 100 | _ ‡a Bimbó, Katalin, ‡d 1963-
-
-
-
-
- 100 1 _ ‡a Bimbó, Katalin
-
-
- 100 1 _ ‡a Bimbó, Katalin ‡d 1963-
- 100 0 _ ‡a Katalin Bimbó
4xx's: Alternate Name Forms (1)
5xx's: Related Names (5)
- 510 2 _ ‡a CRC Press
- 510 2 _ ‡a Eötvös Loránd Tudományegyetem Budapest
- 510 2 _ ‡a Indiana University
- 510 2 _ ‡a University of Alberta
- 510 2 _ ‡a University of Alberta ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Combinatory logic | |
Generalized Galois logics | |
J. Michael Dunn on information based logics | |
Logikai vizsgálódások válogatott tanulmányok | |
Modularity and classical logic - two antagonists | |
Proceedings of the fourth Symposium on Logic and Language [Budapest, 5. to 9. August 1992] | |
Proof theory : sequent calculi and related formalisms | |
Schönfinkel-type operators for classical logic |