QR-Code

The evolution of type theory in logic and mathematics /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Laan, Twan Dismas Laurens
Format:	Abschlussarbeit Buch
Sprache:	Englisch
Veröffentlicht:	Eindhoven : Technische Universität, 1997
Ausgabe:	[1st ed.]
Schlagworte:	programovací jazyk > matematická logika > typy dát
ISBN:	9038605315
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Notes on the limits to knowledge explored with Darwinian logic /
von: Marchetti, Cesare
Veröffentlicht: (1998)

Higher order logic theorem proving and its applications : Proceedings of the IFIP TC10/WG10.2 internat. workshop, Leuven, Belgium, 21 - 24 Sept., 1992 /
von: Melham, Thomas F.
Veröffentlicht: (1993)

ACM transactions on computational logic
Veröffentlicht: (2000)

Logické systémy /
von: Eysselt, Miloš
Veröffentlicht: (1982)

Matematická logika : určeno pro posluchače přírodověd. fak. /
von: Dymáček, Michael, 1943-
Veröffentlicht: (1968)

Issledovanija po matematičeskoj lingvistike, matematičeskoj logike i informacionnym jazykam /
von: Smockij, E. D.
Veröffentlicht: (1972)

Logic colloquium '85 : Proceedings of the colloquium, Orsay, France, July 1985 /
von: Burdman Feferman, Anita
Veröffentlicht: (1987)

Digital logic : basic theory and practice /
von: Smith, J. H.
Veröffentlicht: (1971)

Deductive databases and logic programming /
von: Das, Subrata Kumar
Veröffentlicht: (1992)

Vvedenije v matematičeskuju logiku.
von: Church, Alonzo
Veröffentlicht: (1960)

Vvedenije v matematičeskuju logiku /
von: Mendelson, Elliott
Veröffentlicht: (1971)

Světonázorové problémy v matematice. 1. díl : Matematická logika a formální teorie, ... /
von: Drábek, Jaroslav
Veröffentlicht: (1986)

Zaujímavá logika /
von: Bizám, György
Veröffentlicht: (1982)

Algebra pravdivostných hodnôt výrobkov pre 4. ročník gymnázia s triedami zameranými na matematiku /
von: Odvárko, Oldřich 1938-
Veröffentlicht: (1988)

Elektronika. I. diel. Vybrané obvody číslicovej techniky /
von: Petrovič, Pavol
Veröffentlicht: (2002)

Non-classical logics, model theory, and computability : proceedings of the 3rd Latin-American symposium on mathematical logic ; Campinas, Brazil, July 11-17, 1976 /
Veröffentlicht: (1977)

Mathematics.
von: Velichová, Daniela 1951-
Veröffentlicht: (2014)

Mathematics.
von: Velichová, Daniela 1951-
Veröffentlicht: (2016)

Gramatika a jazyky /
von: Češka, Milan
Veröffentlicht: (1985)

Extensions of logic programming : Proceedings, Tübingen, FRG, Dec. 8 - 10, 1989 /
von: Andreoli, Jean-Marc
Veröffentlicht: (1991)

MySQL : polnoje i isčerpyvajuščeje rukovodstvo po primeneniju i administrirovaniju baz dannych MySQL 4, a takže programmirovaniju priloženij /
von: DuBois, Paul 1956-
Veröffentlicht: (2004)

Professionaľnoje rukovodstvo po SQL server : chranimyje procedury, XML, HTML /
von: Henderson, Kenneth
Veröffentlicht: (2005)

Programovacie jazyky a štruktúry dát /
von: Klima, Valent
Veröffentlicht: (1987)

Programovacie jazyky a štruktúry dát. 1. diel /
von: Skýva, Ladislav
Veröffentlicht: (1984)

MPU. Příručka pro uživatele /
von: Vavříková, Jiřina
Veröffentlicht: (1986)

Discrete mathematics. A unified approach /
von: Wiitala, Stephen A.
Veröffentlicht: (1987)

Metoda GUHA /
von: Hájek, Petr 1955-
Veröffentlicht: (1977)

Specification and compositional verification of real-time systems /
von: Hooman, Jozef Johannes Maria
Veröffentlicht: (1991)

Zeitschrift für mathematische Logik u. Grundlagen der Mathematik

Mathematical proofs. A transition to advanced mathematics /
von: Chartrand, Gary
Veröffentlicht: (2003)

Diskrétní matematika /
von: Mezník, Ivan 1942-
Veröffentlicht: (2004)

Sbírka úloh z elementární aritmetiky s pokyny k řešení /
von: Bělík, Miroslav
Veröffentlicht: (1990)

Mathematical theory of reliability /
von: Barlow, Richard E., et al.
Veröffentlicht: (1965)

Connecting informal and formal mathematics /
von: Elbers, Hugo Johannes
Veröffentlicht: (1998)

Fortran for engineering physics : mechanics, data analysis, and heat /
von: Grossberg, Alan B.
Veröffentlicht: (1971)

Numerical solution of partial differential equations on parallel computers /
von: Bruaset, Are Magnus, et al.
Veröffentlicht: (2006)

Enciklopedija programmirovanija na personaľnom kompjutere /
von: Jakušev, Dmitrij Michajlovič
Veröffentlicht: (2004)

Optimization and computational logic /
von: Macaloon, Ken
Veröffentlicht: (1996)

Matematika pro zájemce o studium na vysokých školách technických /
von: Hyánková, Miluše
Veröffentlicht: (1997)

Gödel 1931 : gnoseologická revoluce v matematice a exaktních vědách /
von: Včelař, František 1962-, et al.
Veröffentlicht: (2009)