Search

Your search returned 19 results.

Results
		No cover image available Lincos : design of a language for cosmic intercourse by Freudenthal, Hans \| . Series: NASA TP 2850 : 1989Edition: Language: English Publication details: Amsterdam ; North-Holland Pub., ; 1960Availability: Items available for loan: 1 Call number: 517.1:4 Fre-1. Place hold Add to cart (remove)
		No cover image available Elements of mathematical logic : model theory by Kreisel, G \| Krivine, J.L \| . Series: NASA TP 2850 : 1989Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1967Availability: Items available for loan: 1 Call number: 517.1 Kre. Place hold Add to cart (remove)
		No cover image available Contributions to mathematical logic : proceedings of the logic colloquium, Hannover, 1966 / edited H. Arnold Schmidt, K. Schutte and H.-J. Thiele by Logic colloquium (1966 : Hannover) \| . Series: NASA TP 2850 : 1989Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1968Availability: Items available for loan: 1 Call number: 517.1 Log:66. Place hold Add to cart (remove)
		No cover image available Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus by Goodstein, R.L \| . Series: NASA TP 2850 : 1989Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1957Availability: Items available for loan: 2 Call number: 511 Goo(2), ... Place hold Add to cart (remove)
		No cover image available Intuitionism : an introduction by Heyting, A \| . Series: NASA TP 2850 : 1989Edition: Language: English Publication details: Amsterdam ; North-Holland Pub., ; 1956Availability: Items available for loan: 1 Call number: 51 Hey. Place hold Add to cart (remove)
		No cover image available Nomological statements and admissible operations by Reichenbach, Hans \| . Series: NASA TP 2850 : 1989Edition: Language: English Publication details: Amsterdam ; North-Holland Pub., ; 1954Availability: Items available for loan: 1 Call number: 517.11 Rei. Place hold Add to cart (remove)
		No cover image available Ordinal algebras by Tarski, Alfred \| . Series: NASA TP 2850 : 1989Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1956Availability: Items available for loan: 1 Call number: 512 Tar. Place hold Add to cart (remove)
		No cover image available Mathematical logic and foundations of set theory : proceedings of an international colloquium, Jerusalem, 11-14 Nov., 1968 / edited by Yehoshua Bar-Hillel by \| . Series: NASA TP 2850 : 1989Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1970Availability: Items available for loan: 1 Call number: 517.1 Mat:68. Place hold Add to cart (remove)
		No cover image available Introduction to model theory and to the metamathematics of algebra by Robinson, Abraham \| . Series: NASA TP 2850 : 1989Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1974Availability: Items available for loan: 1 Call number: 517.1 Rob(2). Place hold Add to cart (remove)
		No cover image available Many valued logics by Rosser, J. Barkley \| Turquette, Atwell R \| . Series: NASA TP 2850 : 1989Edition: Language: English Publication details: Amsterdam ; North-Holland Pub., ; 1958Availability: Items available for loan: 1 Call number: 517.11 Ros. Place hold Add to cart (remove)

Powered by Koha