Hafner, Izidor
Izidor Hafner
VIAF ID: 34410827 ( Personal )
Permalink: http://viaf.org/viaf/34410827
Preferred Forms
-
- 100 1 _ ‡a Hafner, Izidor
- 100 1 _ ‡a Hafner, Izidor
- 100 0 _ ‡a Izidor Hafner
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Aha! pa te imam : paradoksi za napenjanje možganov in razvedrilo | |
Baron Jurij Vega in krožna konstanta : plakat | |
The completeness theorem of equivalential calculus as prolog program | |
O dolžini dokazov v ekvivalenčnem računu. | |
The foundation of mathematics according to Bolzano and Leśniewski. | |
Labirinti | |
Logika | |
Making a rhombic 1080-hedron | |
Maps as mazes, 2004: | |
Matematica per la I classe della scuola elementare | |
Matematični učbenik | |
Matematika 1 na programu Aplikativna elektrotehnika | |
[Matematika] a kétnyelvű általános iskolák 4. osztálya számára | |
Matematika za 2. razred osnovne šole | |
Mayhem problems. | |
Metodični napotki : za pouk matematike v tretjem razredu | |
Modeli geometrijskih teles. | |
Natjecanja iz zabavne matematike | |
O nekem podsistemu formalne aritmetike. | |
On some subtheory of formal arithmetic | |
Osnove matematike po Bolzanu in Lesniewskem | |
Osnove, razvoj, zgodovina in metodologija matematike. | |
Poliedrske delavnice | |
Popolnostni izrek ekvivalentnostnega računa kot program v prologu. | |
Poznate naslov te knjige? | |
Računamo s slovenskimi tolarji 2 | |
Razvedrilna matematika | |
Regresivna rekurzija. | |
Regressive recursion | |
The regular ring and the maximal ring of quotients of a finite Baer [ast]-ring | |
Regularni kolobar in maksimalni kolobar ulomkov končnega [zvezdica]-kolobarja. | |
Rešene naloge iz matematike 3 | |
Rombski poliedri | |
Samodejno izdelovanje besedilnih logičnih nalog v slovenščini = [Automatic generation of textual logic puzzles in Slovenian] : magistrsko delo | |
Sedem kristalografskih sistemov in 14 Bravaisovih mrež | |
O sestavljanju logičnih nalog | |
Sets in the lower classes of elementary school. | |
Slovenian competitions in logic | |
Statistična analiza meritev izpušnih plinov : zaključna naloga | |
Stičišče 7. | |
Svet Tarskega | |
Ta knjiga ne potrebuje naslova | |
Terezija Uran - častna članica DMFAS | |
This book needs no title. | |
Tretji Hilbertov problem | |
Učni načrt. | |
Usmerjeni raziskovalni program Matematika in mehanika : poročilo o delu za leto 1987. | |
Uvod v logiko izjav z levičarji in desničarji | |
Vojko Valenčič, 1948-2003 | |
What is the name of this book?. | |
Z logiko lahko odpravimo napake | |
Za vedno neodločeno : ugankarski vodič za Gödela | |
Zbirka nalog s tekmovanj iz logike |