eesti
english
Kontakt | Kirjastamine | Teenused | KKK | Meedia | OA | Andmebaasid | Liikmelisus | Ajalugu
Otsing
Laiendatud otsing
  Ostukorv
Ajakirjad
Sarjad
SOODNE
Ajalugu ja arheoloogia
Arstiteadus
Esseistika
Etnoloogia ja folkloristika
Filosoofia
Ilukirjandus
Keele- ja kirjandusteadus
Keeleõpe
Kehakultuur
Kultuuriuuringud
Kunstiteadus
Loodusteadused
Majandus
Matemaatika
Meedia
Psühholoogia
Politoloogia
Pedagoogika
Semiootika
Teatri- ja filmiteadus
Sotsioloogia
Teoloogia ja religiooniuuringud
Õigusteadus
Tartu Ülikoolis kaitstud doktoriväitekirjad
E-raamatud


mathematicae

0
Infinite formulae in intuitionistic logic of higher order
Autor
004. Ants Tauts
Keel
eesti keel
Kirjastus
Tartu Ülikooli Kirjastus
Aasta
1992
Lehekülgi
15 lk
 
Info ja teenindus
Müügitingimused
Privaatsuspoliitika
NB! Oluline info